MSc thesis of Ελένη Καλυβιανάκη
Formal verification and scheduling for real-time systems
Supervisor: Γεώργιος Κολέτσος
Defended: 01 Ιουλίου 2000.You are here: Theses » MSc » Ελένη Καλυβιανάκη |
Supervisor: Γεώργιος Κολέτσος
Defended: 01 Ιουλίου 2000.