|
Search the dblp DataBase
Famantanantsoa Randimbivololona:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Famantanantsoa Randimbivololona
Orientations in Verification Engineering of Avionics Software. [Citation Graph (0, 0)][DBLP] Informatics, 2001, pp:131-137 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DSN, 2003, pp:625-0 [Conf]
- Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:1798-1815 [Conf]
Search in 0.001secs, Finished in 0.001secs
|