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