We survey extensions of modal transition systems to specification theories for probabilistic and timed systems. © 2014 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Fahrenberg, U., Legay, A., & Traonouez, L. M. (2014). Specification theories for probabilistic and real-time systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8415 LNCS, pp. 98–117). Springer Verlag. https://doi.org/10.1007/978-3-642-54848-2_7
Mendeley helps you to discover research relevant for your work.