Event-B Language: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son No edit summary |
imported>Son |
||
| Line 3: | Line 3: | ||
This is available at event-b.org [http://www.event-b.org/abook.html] | This is available at event-b.org [http://www.event-b.org/abook.html] | ||
=== Slides and Rodin Platform archives of the developments corresponding to chapters of the books === | === Slides and Rodin Platform archives of the developments corresponding to chapters of the books === | ||
* Chapter 1: [http://deploy-eprints.ecs.soton.ac.uk/111/ Introduction] | |||
== Event-B Language Documentation == | == Event-B Language Documentation == | ||
Revision as of 15:48, 19 June 2009
Book: Modelling in Event-B: System and Software Engineering by Jean-Raymond Abrial
Sample Chapters of the books
This is available at event-b.org [1]
Slides and Rodin Platform archives of the developments corresponding to chapters of the books
- Chapter 1: Introduction
