Skip to Main content Skip to Navigation
Conference papers

Quantitative Modal Transition Systems

Kim G. Larsen 1 Axel Legay 2, 3 
1 AAU - Aalborg University [Denmark]
2 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
3 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : This extended abstract offers a brief survey presentation of the specification formalism of modal transition systems and its recent extensions to the quantitative setting of timed as well as stochastic systems. Some applications will also be briefly mentioned.
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01485977
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, March 9, 2017 - 3:33:39 PM
Last modification on : Friday, February 4, 2022 - 3:22:42 AM
Long-term archiving on: : Saturday, June 10, 2017 - 2:44:55 PM

File

Vignette du document
978-3-642-37635-1_3_Chapter.pd...
Files produced by the author(s)

Licence

Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

INSTITUT-TELECOM | EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | IFIP-LNCS | IFIP | IRISA-D4 | INRIA2 | IFIP-TC | IFIP-TC1 | UR1-MATH-STIC | IFIP-WG1-3 | UR1-UFR-ISTIC | IFIP-LNCS-7841 | IFIP-WADT | UNIV-RENNES | INSA-GROUPE | UR1-MATH-NUM

Citation

Kim G. Larsen, Axel Legay. Quantitative Modal Transition Systems. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩. ⟨hal-01485977⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

185

Files downloads

113

 

Contact                    Legal Notice                    Personal Data