Parametric and Quantitative Extensions of Modal Transition Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Parametric and Quantitative Extensions of Modal Transition Systems

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
297 Consultations
87 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More