pop up description layer
| Last modified: 20080902:103548/adjusted cross links |
|
LM9: More Refinement - The Bridge Problem
The Bridge Problem: Working through Refinements
The Bridge Problem: Working through Refinements
|
presentation
|
there are no slides currently available |
|
|
notes
|
the slides reduced to note form, even more suitable for
printing |
19 pages |
A complete example of working from a simple abstraction through
a series of refinements to a full specification
previous:
LM8: Semantics of Event-B
next: next lecture
Document History
| 20080902:103548 |
7.0.1 |
ajh |
adjusted cross links |
| 20080830:120547 |
7.0.0 |
ajh |
first version for 2008 |
