M. Rached

	2008
1		Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali: Spécification et vérification d'un ordonnanceur en B via les automates temporisés. L'OBJET 14(4): 43-72 (2008)

Coauthor Index

1	Jean-Paul Bodeveix	[1]
2	Mamoun Filali	[1]
3	Odile Nasr	[1]