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

Yuhong Zhao, Simon Oberthr, Norma Montealegre, Franz J. Rammig, Martin Kardos

Browse the full PPAM paper archive.