An approach to integrate formal validation in an OO life-cycle of protocols

Jean-Marc Jézéquel 1 Claude Jard 1 Laurence Nedelka 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
Proc. of FMOODS'96, Mar 1996, PARIS, France. 1996
Liste complète des métadonnées

https://hal.inria.fr/hal-00765453
Contributeur : Jean-Marc Jézéquel <>
Soumis le : vendredi 14 décembre 2012 - 16:05:15
Dernière modification le : mercredi 16 mai 2018 - 11:23:04

Identifiants

  • HAL Id : hal-00765453, version 1

Collections

Citation

Jean-Marc Jézéquel, Claude Jard, Laurence Nedelka. An approach to integrate formal validation in an OO life-cycle of protocols. Proc. of FMOODS'96, Mar 1996, PARIS, France. 1996. 〈hal-00765453〉

Partager

Métriques

Consultations de la notice

232