Quantitative Modal Transition Systems [chapter]

Kim G. Larsen, Axel Legay
2013 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-642-37635-1_3 fatcat:tc6kcx2tcvcatminyfupo5sc3q