Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Parametric and Quantitative Extensions of Modal Transition Systems

Abstract : Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Wednesday, November 26, 2014 - 10:36:42 AM
Last modification on : Thursday, January 20, 2022 - 5:33:25 PM
Long-term archiving on: : Friday, February 27, 2015 - 10:56:22 AM


Files produced by the author(s)



Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez. Parametric and Quantitative Extensions of Modal Transition Systems. FPS@ETAPS, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54848-2_6⟩. ⟨hal-01087363⟩



Record views


Files downloads