Loading previews...| Text | Download (328kB) |
 coursework-descriptions.pdf |  multi_elevator.zip |
COMP2214 - Coursework AY2023-24
MULTI elevator coursework
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 12 Mar 2024 22:02 |
| Creators Name: |
Dr Son Hoang
|
| Tags: | SPARK/Ada, software engineering, formal methods, Event-B |
| Viewing permissions: | University |
| Course codes: | COMP2214 |
| Link: | http://edshare.soton.ac.uk/id/eprint/21931 |
| Downloads & Views |  |
Actions (login required)
 |
View Item |