PatrickShaw/University-FIT3013-LiftSystemSpecification
A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.
GPL-3.0
A formal specification written in Event-B notation that formally specifies the behaviour of a multi-lift elevator system.
GPL-3.0