COMP2214 - Problem Class 03 - Model a Routing System

Loading previews...

Sample solution

Text

Download (302kB)

Sample solution

Tut03_Routing_sol.zip

Problem

Tut03_Routing.zip

4 files in this resource

Model a Routing System using transitive closure

Added By:	Dr Son Hoang
Date Added:	23 Feb 2021 17:11
Creators Name:	Dr Son Hoang
Tags:	software engineering, Event-B, formal methods
Viewing permissions:	University
Course codes:	COMP2214
Link:	http://edshare.soton.ac.uk/id/eprint/20846
Downloads & Views

View Item

Toolbox

There are no actions available for this resource.