My PhD defense took place last Friday, February 15th at NTUA. I thank from the bottom of my heart all people that supported and helped me during my 5 year PhD studies. The title of my thesis is "Modeling and Verification of Mobile Systems using Algebraic Specification Techniques" and deals with modeling of mobile systems as Mobile Observational Transition Systems and CafeOBJ algebraic specification language and formal verification of safety properties of them using simultaneous induction.
Τετάρτη 20 Φεβρουαρίου 2008
Τετάρτη 6 Φεβρουαρίου 2008
Εγγραφή σε:
Αναρτήσεις (Atom)
