Quantitative Modal Transition Systems - Recent Trends in Algebraic DevelopmentTechniques Access content directly
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.
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)

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⟩
207 View
124 Download

Altmetric

Share

Gmail Facebook X LinkedIn More