Abstract Execution for Event-Driven Systems - An Application from Automotive/Infotainment Development.

Klaus Birken

Browse the full ISoLA paper archive.