@dblp

Checkability of the digital components in safety-critical systems: Problems and solutions.

, , , , and . EWDTS, page 411-416. IEEE Computer Society, (2011)

Links and resources

Tags