Skip to Main content Skip to Navigation
New interface
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00765453
Contributor : Jean-Marc Jézéquel Connect in order to contact the contributor
Submitted on : Friday, December 14, 2012 - 4:05:15 PM
Last modification on : Friday, February 4, 2022 - 3:23:25 AM

Identifiers

  • HAL Id : hal-00765453, version 1

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. ⟨hal-00765453⟩

Share

Metrics

Record views

120