Skip to Main content Skip to Navigation
Conference papers

Quantitative Modal Transition Systems

Kim 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 <>
Submitted on : Thursday, March 9, 2017 - 3:33:39 PM
Last modification on : Friday, January 8, 2021 - 3:12:46 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

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

Citation

Kim 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

Share

Metrics

Record views

352

Files downloads

267

 

Contact                    Legal Notice                    Personal Data