Publications de
Ricardo Bedin Franca, Leandro Buss Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali
Towards Safe Design of Synchronous Bus Protocols in Event-B (regular paper)
Dans : Brazilian Symposium on Formal Methods, Gramado Brésil, 19/08/09-21/08/09, Brazilian Computer Society, p. 171-186, août 2009.