|
Search the dblp DataBase
Jacques Raguideau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Adriana Carloganu, Jacques Raguideau
CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs. [Citation Graph (0, 0)][DBLP] DSN, 2002, pp:538- [Conf]
- Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, N. Williams
CAVEAT : A Tool for Software Validation. [Citation Graph (0, 0)][DBLP] DSN, 2002, pp:537-537 [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
|