David Delmas

	2010
5		David Delmas, Xavier Rival: Preface. Electr. Notes Theor. Comput. Sci. 267(2): 1 (2010)
	2009
4		Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny: Formal Verification of Avionics Software Products. FM 2009: 532-546
3		David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine: Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS 2009: 53-69
	2007
2		Jean Souyris, David Delmas: Experimental Assessment of Astrée on Safety-Critical Avionics Software. SAFECOMP 2007: 479-490
1		David Delmas, Jean Souyris: Astrée: From Research to Industry. SAS 2007: 437-451

Coauthor Index

1	Hervé Delseny	[4]
2	Eric Goubault	[3]
3	Sylvie Putot	[3]
4	Xavier Rival	[5]
5	Jean Souyris	[1] [2] [3] [4]
6	Karim Tekkal	[3]
7	Franck Védrine	[3]
8	Virginie Wiels	[4]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page