Publications 1999

Academic Journals

1. 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.

International Conferences

1. Eric Farbe. Mixing probabilities and constraints in conditional independance structures. In Fields Institute Workshop on Conditional Independence Structures and Graphical Models, Toronto, September 1999.
2. Loïc Hélouët. A Simulation Framework for Message Sequence Charts. In Proc. of SDL'99: The Next Millenium, Pages 473-488, 1999.
3. 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 Lagadic