European Space Research and Technology Centre-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2003

  1. Verifying, validating and monitoring the open Ravenscar real time kernel

    Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03