dblp.uni-trier.dewww.uni-trier.de

Anne Pacalet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
2EEPatrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, N. Williams: CAVEAT : A Tool for Software Validation. DSN 2002: 537-537
1999
1EEFamantanantsoa 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

Coauthor Index

1Patrick Baudin [1] [2]
2Jacques Raguideau [1] [2]
3Famantanantsoa Randimbivololona [1]
4Dominique Schoen [1] [2]
5Jean Souyris [1]
6N. Williams [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)