Statistical Model Checking of Simulink Models with Plasma LabReportar como inadecuado




Statistical Model Checking of Simulink Models with Plasma Lab - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 ESTASYS - Efficient STAtistical methods in SYstems of systems Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

Abstract : We present an extension of the statistical model-checker Plasma Lab capable of analyzing Simulink models.






Autor: Axel Legay - Louis-Marie Traonouez -

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



DESCARGAR PDF




Documentos relacionados