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.
https://hal.inria.fr/hal-01485977 Contributor : Hal IfipConnect 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
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⟩