Verifying, validating and monitoring the open Ravenscar real time kernel
- Maia, R.
- Moreira, F.
- Barbosa, R.
- Costa, D.
- Hjortaes, K.
- Rodriguez, P.
- Pinho, L.M.
Actas:
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03
Ano de publicación: 2003
Páxinas: 74-81
Tipo: Achega congreso