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...