Towards Safe Design of Synchronous Bus Protocols in Event-B

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-642-10452-7_12 ◽

2009 ◽

pp. 170-185

Author(s):

Ricardo Bedin França ◽

Leandro Buss Becker ◽

Jean-Paul Bodeveix ◽

Jean-Marie Farines ◽

Mamoun Filali

Download Full-text