Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews