COMP1216 - Lab 6 - Modelling with Relations in Event-B

Loading previews...

Sample solution

Text

Download (309kB)

Sample solution

Instructions

Problem

3 files in this resource

Modelling using Relations in Event-B

Added By:	Dr Son Hoang
Date Added:	09 Mar 2019 18:41
Creators Name:	Dr Son Hoang Dr Dana Dghaym
Tags:	formal methods, software engineering
Viewing permissions:	University
Course codes:	COMP1216
Link:	http://edshare.soton.ac.uk/id/eprint/19852
Downloads & Views

Toolbox

There are no actions available for this resource.