From Model-Based Design to Formal Verification of Adaptive Embedded Systems.

Rasmus Adler, Ina Schaefer, Tobias Schle, Eric Vecchi

Browse the full ICFEM paper archive.