Quantitative Modal Transition SystemsReport as inadecuate




Quantitative Modal Transition Systems - Download this document for free, or read online. Document in PDF available to download.

1 Aalborg University Denmark 2 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires 3 TAMIS - Threat Analysis and Mitigation for Information Security Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

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.





Author: Kim Larsen - Axel Legay -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents