Département Informatique

Computer Science Department of Telecom SudParis

Introduction of timing aspects into Event-B

 

The description is available here : ClockBStage