Publications en collaboration avec des chercheurs de 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