Automated Verification of Embedded Control Software - Track Introduction.

Dilian Gurov, Paula Herber, Ina Schaefer

Browse the full ISoLA paper archive.