Statistical Abstraction and Model-Checking of Large Heterogeneous Systems - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
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 : lundi 18 décembre 2023-09:50:03

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
1195 Consultations
190 Téléchargements

Partager

Gmail Facebook X LinkedIn More