Loading previews...
Text
|
Download (202kB) |
 Introduction | Entity Relationship Diagrams |  Rodin model archive | Event-B model (print) |
Modelling Dojo: The SmarTaxi Case Study
We illustrate the modelling activities using the SmarTaxi Case Study
| Added By: |
Dr Son Hoang
|
|---|---|
| Date Added: | 06 May 2020 08:15 |
| Creators Name: |
Prof Michael Butler
Dr Son Hoang
Dr Colin Snook
Dr Dana Dghaym
Dr Asieh Salehi Fathabadi
Mr Chenyang Zhu
|
| Tags: | software engineering, formal methods, Event-B, modelling |
| Viewing permissions: | University |
| Course codes: | COMP1216 |
| Link: | http://edshare.soton.ac.uk/id/eprint/20424 |
| Downloads & Views |  |
 |