Number of items: 4.
-
|
COMP1216 - Coursework 2 (2020-21)
Description of Coursework 2 for COMP1216 (2020-21)
Shared with the University by
Dr Son Hoang
|
-
|
COMP1216 - Coursework 1 (2020-21)
COMP1216 Coursework 1 for the academic year 2020-21.
Shared with the University by
Dr Son Hoang
|
-
|
Modelling Dojo: The SmarTaxi Case Study
We illustrate the modelling activities using the SmarTaxi Case Study
Shared with the University by
Dr Son Hoang
|
-
|
COMP1216 - Lecture 07 - Introducing Event-B
Introducing Event-B (Contexts, machines)
Shared with the University by
Dr Son Hoang
|
This list was generated on Sat Dec 21 15:36:28 2024 UTC.