COMP2214 - Problem Class 08 - Elevator System in SPARK

Loading previews...

Solution

Text

Download (294kB)

Solution

Solution archive

Problem

Tut08_Elevator.zip

4 files in this resource

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

Toolbox

There are no actions available for this resource.