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〉
https://hal.inria.fr/hal-01485977
Contributeur : Hal Ifip
<>
Soumis le : jeudi 9 mars 2017 - 15:33:39
Dernière modification le : jeudi 7 février 2019 - 16:53:26
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:44:55
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〉
