The AF Tool for Specifying and Analyzing Markov Models

S. Fontanarrosa 1 Gerardo Rubino 2
1 FCEIA - Facultad de Ciencias Exactas, Ingenieria y Agrimensura [Santa Fe]
2 DIONYSOS - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
Inria Rennes – Bretagne Atlantique , IRISA-D2 - RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES
Résumé : No abstract
Type de document :
Communication dans un congrès
ALIO―INFORMS Joint International Meeting (INFORMS International Conference and XV CLAIO, 2010, Unknown, Argentina. 2010
Liste complète des métadonnées
https://hal.inria.fr/hal-00790881
Contributeur : Anne Jaigu <>
Soumis le : jeudi 21 février 2013 - 13:47:47
Dernière modification le : mercredi 11 avril 2018 - 01:51:21

Identifiants

  • HAL Id : hal-00790881, version 1

Collections

INRIA | IRISA | IRISA-D2 | UR1-UFR-ISTIC | UNIV-RENNES | INRIA-RENGRE

Citation

S. Fontanarrosa, Gerardo Rubino. The AF Tool for Specifying and Analyzing Markov Models. ALIO―INFORMS Joint International Meeting (INFORMS International Conference and XV CLAIO, 2010, Unknown, Argentina. 2010. 〈hal-00790881〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

195

Contact


archive-ouverte@inria.fr