COMP1216 - Lab 9 - Port Management System in Event-B

Loading previews...

Instructions

Slideshow

Download (195kB)

Instructions

Problem

Tut09_PortManagement.zip

Sample solution

4 files in this resource

Port Management system in Event-B

Added By:	Dr Son Hoang
Date Added:	07 May 2019 08:26
Creators Name:	Prof Michael Butler
Tags:	software engineering, formal methods
Viewing permissions:	University
Course codes:	COMP1216
Link:	http://edshare.soton.ac.uk/id/eprint/19938
Downloads & Views

Toolbox

There are no actions available for this resource.