Publicaciones en colaboración con investigadores/as de Instituto Politécnico do Porto (2)

2023

  1. Preface

    Lecture Notes in Networks and Systems

2003

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

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