Text
|
Download (267kB) |
 Problem |  Tut08_Elevator.zip |
COMP2214 - Problem Class 08 - Elevator System in SPARK
Exercise using the Elevator System in SPARK
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 20 Apr 2021 21:43 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | Event-B, formal methods, software engineering, modelling |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20919 |
| Downloads & Views |  |
 |
