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 : mercredi 16 mai 2018 - 11:23:04

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

188