![](/img/cover-not-exists.png)
[IEEE 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Lisbon (2018.7.16-2018.7.20)] 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Equivalence Checking for Hybrid Control Systems Modelled in Simulink
Schlesinger, Sebastian, Herber, Paula, Gothel, Thomas, Glesner, SabineYear:
2018
Language:
english
DOI:
10.1109/QRS-C.2018.00101
File:
PDF, 397 KB
english, 2018