![]() | ![]() |
1993 | ||
---|---|---|
2 | Claude Hennebert, Gérard D. Guiho: SACEM: A Fault Tolerant System for Train Speed Control. FTCS 1993: 624-628 | |
1990 | ||
1 | Gérard D. Guiho, Claude Hennebert: SACEM Software Validation (Experience Report). ICSE 1990: 186-191 |
1 | Gérard D. Guiho | [1] [2] |