Ricardo Bedin França

	2009
2		Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali: Towards Safe Design of Synchronous Bus Protocols in Event-B. SBMF 2009: 170-185
	2007
1		Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas: The AADL behaviour annex - experiments and roadmap. ICECCS 2007: 377-382

Coauthor Index

1	Leandro Buss Becker	[2]
2	Jean-Paul Bodeveix	[1] [2]
3	David Chemouil	[1]
4	Jean-Marie Farines	[2]
5	Mamoun Filali	[1] [2]
6	Jean-François Rolland	[1]
7	Dave Thomas	[1]