Difference between revisions of "Event-B Language"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son |
||
Line 5: | Line 5: | ||
* Chapter 1: [http://deploy-eprints.ecs.soton.ac.uk/111/ Introduction] | * Chapter 1: [http://deploy-eprints.ecs.soton.ac.uk/111/ Introduction] | ||
* Chapter 2: [http://deploy-eprints.ecs.soton.ac.uk/112/ Controlling Cars on a Bridge] | * Chapter 2: [http://deploy-eprints.ecs.soton.ac.uk/112/ Controlling Cars on a Bridge] | ||
− | * Chapter 3: [http://deploy-eprints.ecs.soton.ac.uk/ | + | * Chapter 3: [http://deploy-eprints.ecs.soton.ac.uk/113/ A Mechanical Press Controller] |
+ | * Chapter 4: [http://deploy-eprints.ecs.soton.ac.uk/114/ File Transfer Protocol] | ||
+ | * Chapter 6: [http://deploy-eprints.ecs.soton.ac.uk/114/ The Bounded Re-transmission Protocol] | ||
== Event-B Language Documentation == | == Event-B Language Documentation == |
Revision as of 17:23, 19 June 2009
Contents
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
- Chapter 2: Controlling Cars on a Bridge
- Chapter 3: A Mechanical Press Controller
- Chapter 4: File Transfer Protocol
- Chapter 6: The Bounded Re-transmission Protocol