Quantitative 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 : 2013

Quantitative Modal Transition Systems

Résumé

This extended abstract offers a brief survey presentation of the specification formalism of modal transition systems and its recent extensions to the quantitative setting of timed as well as stochastic systems. Some applications will also be briefly mentioned.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
978-3-642-37635-1_3_Chapter.pdf (157.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01485977

Soumis le : jeudi 9 mars 2017-15:33:39

Dernière modification le : vendredi 24 mars 2023-14:53:04

Archivage à long terme le : samedi 10 juin 2017-14:44:55

Télécharger pour visualiser

Dates et versions

hal-01485977 , version 1 (09-03-2017)

Licence

Paternité

Identifiants

Citer

Kim G. Larsen, Axel Legay. Quantitative Modal Transition Systems. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.50-58, ⟨10.1007/978-3-642-37635-1_3⟩. ⟨hal-01485977⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IFIP-LNCS IFIP IRISA-D4 INRIA2 IFIP-TC IFIP-TC1 UR1-MATH-STIC IFIP-WG1-3 UR1-UFR-ISTIC IFIP-LNCS-7841 IFIP-WADT UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
207 Consultations
124 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More