Sciweavers

SBMF
2009
Springer

Towards Safe Design of Synchronous Bus Protocols in Event-B

14 years 6 months ago
Towards Safe Design of Synchronous Bus Protocols in Event-B
Ricardo Bedin França, Leandro Buss Becker,
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where SBMF
Authors Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali
Comments (0)