Statistical Model Checking of Simulink Models with Plasma LabReport as inadecuate




Statistical Model Checking of Simulink Models with Plasma Lab - Download this document for free, or read online. Document in PDF available to download.

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.





Author: Axel Legay - Louis-Marie Traonouez -

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



DOWNLOAD PDF




Related documents