Modeling and Verifying Behavioral Aspects

Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01520010
Contributor : Lip6 Publications <>
Submitted on : Tuesday, May 9, 2017 - 4:43:57 PM
Last modification on : Thursday, March 21, 2019 - 2:32:52 PM

Identifiers

  • HAL Id : hal-01520010, version 1

Citation

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⟩

Share

Metrics

Record views

99