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.
Liste complète des métadonnées

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01087363
Contributor : Uli Fahrenberg <>
Submitted on : Wednesday, November 26, 2014 - 10:36:42 AM
Last modification on : Thursday, November 15, 2018 - 11:58:48 AM
Document(s) archivé(s) le : 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

576

Files downloads

111