Yuhong Zhao, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos. Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS. In Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics, 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers. Volume 3911 of Lecture Notes in Computer Science, pages 1034-1041, Springer, 2005. [doi]
Abstract is missing.