| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Thierry Lecomte: Applying a Formal Method in Industry: A 15-Year Trajectory. FMICS 2009: 26-34 |
| 2008 | ||
| 2 | | Thierry Lecomte: Safe and Reliable Metro Platform Screen Doors Control/Command Systems. FM 2008: 430-434 |
| 2004 | ||
| 1 | | Nikos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte: A hardware/software codesign framework for developing complex embedded systems using formal model refinement. FDL 2004: 598-612 |
| 1 | Stefan Hallerstede | [1] |
| 2 | Colin F. Snook | [1] |
| 3 | Nikos S. Voros (Nikolaos S. Voros) | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page