K. Hjortaes
AuthID: R-00G-9AJ
1
TITLE: Verifying, validating and monitoring the open Ravenscar real time kernel Full Text
AUTHORS: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03
AUTHORS: Maia, R; Moreira, F; Barbosa, R; Costa, D; Hjortaes, K; Rodriguez, P; Pinho, LM ;
PUBLISHED: 2003, SOURCE: 12th International Workshop on Real-Time Ada, IRTAW '03 in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03
INDEXED IN: Scopus CrossRef