Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.

Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen

Browse the full SEFM paper archive.