Quantitative Modal Transition SystemsReportar como inadecuado




Quantitative Modal Transition Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





Autor: Kim Larsen - Axel Legay -

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



DESCARGAR PDF




Documentos relacionados