Parametric and Quantitative Extensions of Modal Transition Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

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.
Fichier principal
Vignette du fichier
main1.pdf (534.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01087363 , version 1 (26-11-2014)

Identifiers

Cite

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⟩
293 View
83 Download

Altmetric

Share

Gmail Facebook X LinkedIn More