Telecharger Cours

An Introduction to the Event-B Modelling Method

Event-B [2] is a modelling method for formalising and developing systems whose components can be modelled as discrete transition systems.



Download