- 1
- 1
Benoît Caillaud
2
Documents
Affiliations actuelles
- 419153
- 419365
- 105128
- 491207
Publications
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 2
|
Statistical abstraction and model-checking of large heterogeneous systems[Research Report] RR-7238, INRIA. 2010
Rapport
inria-00466158v1
|
|
Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Communication dans un congrès
inria-00554321v2
|