This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Defenses » July 2000 » Eleni Kalyvianaki

MSc thesis defense presentation

Eleni Kalyvianaki defends her MSc thesis.

Date: Saturday, 01 Jul 2000
Thesis title: Formal verification and scheduling for real-time systems

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.