Verifying, validating and monitoring the open Ravenscar real time kernel

  1. Maia, R.
  2. Moreira, F.
  3. Barbosa, R.
  4. Costa, D.
  5. Hjortaes, K.
  6. Rodriguez, P.
  7. Pinho, L.M.
Actas:
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03

Año de publicación: 2003

Páginas: 74-81

Tipo: Aportación congreso

DOI: 10.1145/959222.959236 GOOGLE SCHOLAR
Fuente de los datos: Scopus