Skip to Main content Skip to Navigation
Conference papers

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.
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

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

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⟩

Share

Metrics

Record views

352

Files downloads

267