Statistical Model Checking of Simulink Models with Plasma Lab
Résumé
We present an extension of the statistical model-checker Plasma Lab capable of analyzing Simulink models.
Domaines
Théorie et langage formel [cs.FL]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...