Quantitative Modal Transition Systems - Recent Trends in Algebraic DevelopmentTechniques
Conference Papers Year : 2013

Quantitative Modal Transition Systems

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.

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
978-3-642-37635-1_3_Chapter.pdf (157.04 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01485977

Submitted on : Thursday, March 9, 2017-3:33:39 PM

Last modification on : Wednesday, November 6, 2024-12:58:03 PM

Long-term archiving on : Saturday, June 10, 2017-2:44:55 PM

Download

Dates and versions

hal-01485977 , version 1 (09-03-2017)

Licence

Attribution

Identifiers

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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
230 View
142 Download

Altmetric

Share

More