Chapitre D'ouvrage
Année : 2004
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01520010
Soumis le : mardi 9 mai 2017-16:43:57
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01520010 , version 1
Citer
François Bréant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, et al.. Modeling and Verifying Behavioral Aspects. Formal Methods for Embedded Distributed Systems - How to master the complexity, Kluwer Academic Publishers, pp.171-211, 2004, 1-4020-7996-6. ⟨hal-01520010⟩
Collections
77
Consultations
0
Téléchargements