 | 2003 |
|---|
| 3 |       | Stephan Thesing,
Jean Souyris,
Reinhold Heckmann,
Famantanantsoa Randimbivololona,
Marc Langenbach,
Reinhard Wilhelm,
Christian Ferdinand:
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software.
DSN 2003: 625- |
| 2001 |
|---|
| 2 | | Famantanantsoa Randimbivololona:
Orientations in Verification Engineering of Avionics Software.
Informatics 2001: 131-137 |
| 1999 |
|---|
| 1 | | Famantanantsoa Randimbivololona,
Jean Souyris,
Patrick Baudin,
Anne Pacalet,
Jacques Raguideau,
Dominique Schoen:
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.
World Congress on Formal Methods 1999: 1798-1815 |
