Publications

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

Document Type

Proceedings Paper

Year published

2003

Published

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

Pages: 74-81

Conference

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

Indexing