Experience in validating protocol integration using Estelle

Jean-Marc Jézéquel 1
1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Type de document :
Communication dans un congrès
Third International Conference on Formal Description Techniques, Nov 1990, Madrid, Spain. 1990
Liste complète des métadonnées

https://hal.inria.fr/hal-00764941
Contributeur : Jean-Marc Jézéquel <>
Soumis le : jeudi 13 décembre 2012 - 17:06:26
Dernière modification le : vendredi 16 novembre 2018 - 01:30:24

Identifiants

  • HAL Id : hal-00764941, version 1

Collections

Citation

Jean-Marc Jézéquel. Experience in validating protocol integration using Estelle. Third International Conference on Formal Description Techniques, Nov 1990, Madrid, Spain. 1990. 〈hal-00764941〉

Partager

Métriques

Consultations de la notice

192