Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink.

Timm Liebrenz, Paula Herber, Sabine Glesner

Browse the full ISoLA paper archive.