2008 | ||
---|---|---|
2 | EE | Thierry Lecomte: Safe and Reliable Metro Platform Screen Doors Control/Command Systems. FM 2008: 430-434 |
2004 | ||
1 | EE | 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 | [1] |