On the Formal Verification of Middleware Behavioral Properties

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01520379
Contributor : Lip6 Publications <>
Submitted on : Wednesday, May 10, 2017 - 2:32:26 PM
Last modification on : Tuesday, May 14, 2019 - 11:04:39 AM

Identifiers

  • HAL Id : hal-01520379, version 1

Citation

Jérôme Hugues, Yann Thierry-Mieg, Fabrice Kordon, Laurent Pautet, Souheib Baarir, et al.. On the Formal Verification of Middleware Behavioral Properties. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157. ⟨hal-01520379⟩

Share

Metrics

Record views

74