ESPECIFICACION, DISEÑO Y EVOLUCION DE SOFTWARE
GEDES
Instituto Politécnico do Porto
Oporto, PortugalPublicaciones en colaboración con investigadores/as de Instituto Politécnico do Porto (2)
2023
-
Preface
Lecture Notes in Networks and Systems
2003
-
Verifying, validating and monitoring the open Ravenscar real time kernel
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW '03