Runtime verification of real-time embedded systems.

Borzoo Bonakdarpour, Sebastian Fischmeister

Browse the full EMSOFT paper archive.