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.
Actes de conférence:
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03
Année de publication: 2003
Pages: 74-81
Type: Communication dans un congrès