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.
Type de document :
Communication dans un congrès
FPS@ETAPS, Apr 2014, Grenoble, France. 2014, 〈10.1007/978-3-642-54848-2_6〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087363
Contributeur : Uli Fahrenberg <>
Soumis le : mercredi 26 novembre 2014 - 10:36:42
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : vendredi 27 février 2015 - 10:56:22

Fichier

main1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. 2014, 〈10.1007/978-3-642-54848-2_6〉. 〈hal-01087363〉

Partager

Métriques

Consultations de la notice

421

Téléchargements de fichiers

80