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

https://hal.inria.fr/hal-01087363
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

File

main1.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

287

Files downloads

77