Publicações

Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel

AuthID
P-007-G8K

Author(s)

Maia, R

Moreira, F

Barbosa, R

Costa, D

Hjortaes, K

Rodriguez, P

Pinho, LM

Tipo de Documento

Proceedings Paper

Year published

2003

Publicado

in Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03, ISSN: 1094-3641

Páginas: 74-81

Conference

12Th International Workshop on Real-Time Ada, Irtaw '03, Date: 15 September 2003 through 19 September 2003, Location: Viana do Castelo, Patrocinadores: ISEP;AdaEurope;Instituto Politicnico do Porto;ACM Special Interest Group on Ada Programming Language (SIGADA)

Indexing