Inproceedings,

Executable Assertions for Detecting Data Errors in Embedded Control Systems.

.
DSN, page 24-33. IEEE Computer Society, (2000)

Meta data

Tags

Users

  • @dblp

Comments and Reviews