David Delmas

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Jean Souyris, David Delmas: Experimental Assessment of Astrée on Safety-Critical Avionics Software. SAFECOMP 2007: 479-490

1 EE David Delmas, Jean Souyris: Astrée: From Research to Industry. SAS 2007: 437-451

2007
2	EE	Jean Souyris, David Delmas: Experimental Assessment of Astrée on Safety-Critical Avionics Software. SAFECOMP 2007: 479-490
1	EE	David Delmas, Jean Souyris: Astrée: From Research to Industry. SAS 2007: 437-451

Coauthor Index

1 Jean Souyris [1] [2]