@dblp

Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.

, , , , and . PPAM, volume 3911 of Lecture Notes in Computer Science, page 1034-1041. Springer, (2005)

Links and resources

Tags