Quantitative Modal Transition Systems

Abstract : 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.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.50-58, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_3〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01485977
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:39
Dernière modification le : mercredi 16 mai 2018 - 11:24:11
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:44:55

Fichier

978-3-642-37635-1_3_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Kim Larsen, Axel Legay. Quantitative Modal Transition Systems. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.50-58, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_3〉. 〈hal-01485977〉

Partager

Métriques

Consultations de la notice

255

Téléchargements de fichiers

54