Quantitative Modal Transition Systems - Inria - Institut national de recherche en sciences et technologies du numérique
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 : mercredi 6 novembre 2024-12:58:03

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

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
230 Consultations
142 Téléchargements

Altmetric

Partager

More