Analyzing a space-protocol: from specification, simulation to experimentation

Jean-Marc Jézéquel 1 M. Andreu Marc Haziza 2 Claude Jard 1
1 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 Matra Marconi Space [Toulouse]
Type de document :
Communication dans un congrès
Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France. 1992
Liste complète des métadonnées
https://hal.inria.fr/hal-00765076
Contributeur : Jean-Marc Jézéquel <>
Soumis le : vendredi 14 décembre 2012 - 10:13:38
Dernière modification le : mercredi 11 avril 2018 - 02:00:53

Identifiants

  • HAL Id : hal-00765076, version 1

Collections

INRIA | IRISA | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-RENGRE

Citation

Jean-Marc Jézéquel, M. Andreu, Marc Haziza, Claude Jard. Analyzing a space-protocol: from specification, simulation to experimentation. Proc. of the Fifth International Conference on Formal Description Techniques, Oct 1992, Perros-Guirrec, France. 1992. 〈hal-00765076〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

251

Contact


archive-ouverte@inria.fr