Statistical Abstraction and Model-Checking of Large Heterogeneous Systems - Formal Techniques for Distributed Systems Access content directly
Conference Papers Year : 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

Ananda Basu
  • Function : Author
VERIMAG
Saddek Bensalem
VERIMAG
Marius Bozga
VERIMAG
Benoît Caillaud
System synthesis and supervision, scenarios
CV
Benoît Delahaye
System synthesis and supervision, scenarios
CV
Axel Legay
  • Function : Author
  • PersonId : 861400
System synthesis and supervision, scenarios

Domains

Other [cs.OH]

Benoît Caillaud  : Connect in order to contact the contributor

https://inria.hal.science/inria-00554321

Submitted on : Monday, January 10, 2011-3:57:42 PM

Last modification on : Monday, December 18, 2023-9:50:03 AM

No file

Dates and versions

inria-00554321 , version 1 (10-01-2011)
inria-00554321 , version 2 (11-08-2014)

Identifiers

  • HAL Id : inria-00554321 , version 1

Cite

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, et al.. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, Jun 2010, Amsterdam, Netherlands. pp.32-46. ⟨inria-00554321v1⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IRISA IRISA-D4
1195 View
190 Download

Share

Gmail Facebook X LinkedIn More