Login / Signup

Equivalence Checking for Hybrid Control Systems Modelled in Simulink.

Sebastian SchlesingerPaula HerberThomas GöthelSabine Glesner
Published in: QRS Companion (2018)
Keyphrases