MSc thesis defense presentation
Ελένη Καλυβιανάκη defends her MSc thesis.
| Date: | Σάββατο, 01 Ιούλ 2000 |
|---|---|
| Thesis title: | Formal verification and scheduling for real-time systems |
| You are here: Defenses » Ιούλιος 2000 » Ελένη Καλυβιανάκη |
| Date: | Σάββατο, 01 Ιούλ 2000 |
|---|---|
| Thesis title: | Formal verification and scheduling for real-time systems |