Publikationen in Zusammenarbeit mit Forschern von 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