Publikationen in Zusammenarbeit mit Forschern von Instituto Politécnico do Porto (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