Executable Assertions for Detecting Data Errors in Embedded Control Systems.

Martin Hiller

Browse the full DSN paper archive.