Publications in collaboration with researchers from European Space Research and Technology Centre (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