COMP2214 - Lecture 11 - An Elevator System

Loading previews...

Handout

Text

Download (248kB)

Handout

2x2 Print

Rodin Platform archive (CamilleX enabled)

Elevator Simulation (To run: "java -jar Elevator.jar")

4 files in this resource

Added By:	Dr Son Hoang
Date Added:	07 Mar 2019 10:59
Creators Name:	Dr Son Hoang
Tags:	software engineering, formal methods
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/19847
Downloads & Views

Toolbox

There are no actions available for this resource.