Skip to Main content Skip to Navigation
Conference papers

The AF Tool for Specifying and Analyzing Markov Models

S. Fontanarrosa 1 Gerardo Rubino 2 
1 FCEIA - Facultad de Ciencias Exactas, Ingenieria y Agrimensura [Rosario]
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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00790881
Contributor : Anne Jaigu Connect in order to contact the contributor
Submitted on : Thursday, February 21, 2013 - 1:47:47 PM
Last modification on : Wednesday, February 2, 2022 - 3:50:47 PM

Identifiers

  • HAL Id : hal-00790881, version 1

Collections

INSTITUT-TELECOM | EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | IRISA-D2 | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | UR1-MATH-NUM

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. ⟨hal-00790881⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

123

 

Contact                    Legal Notice                    Personal Data