Statistical Abstraction and Model-Checking of Large Heterogeneous Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

Ananda Basu
  • Fonction : Auteur
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
  • Fonction : Auteur
  • PersonId : 861400
System synthesis and supervision, scenarios

Domaines

Autre [cs.OH]

Benoît Caillaud  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 10 janvier 2011-15:57:42

Dernière modification le : mardi 3 décembre 2024-15:44:02

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00554321 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IRISA IRISA-D4
1249 Consultations
208 Téléchargements

Partager

More