- C. Jard et JC. Fernandez T. Jeron. Generation automatique de tests pour les protocoles : l'exemple de l'approche formelle de TGV. Revue Electronique et Electricite, 1999.
- Eric Farbe. Mixing probabilities and constraints in conditional independance structures. In Fields Institute Workshop on Conditional Independence Structures and Graphical Models, Toronto, September 1999.
- Loïc Hélouët. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999.
- C. Jard, T. Jéron, L. Tanguy, C. Viho. Remote Testing can be as Powerful as Local Testing. In Methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, S. Chanson J. Wu, Q. Gao (eds.), Pages 25-40, Beijing, China, October 1999.
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.This page is automatically
generated by bib2html
v210, © INRIA 2002-2006, Projet