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. © IFIP International Federation for Information Processing 2013.
CITATION STYLE
Larsen, K. G., & Legay, A. (2013). Quantitative modal transition systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7841 LNCS, pp. 50–58). https://doi.org/10.1007/978-3-642-37635-1_3
Mendeley helps you to discover research relevant for your work.