English

 

Δημοσιεύσεις

M. Gelastou. "Formal Methods for modeling and verifying an ad hoc network protocol", Master Thesis in Computer Science , University of Cyprus , June 2007 pdf

M. Gelastou , Ch. Georgiou, and A. Philippou. "Formal methods for specifying and verifying distributed algorithms - Process Algebras vs I/O Automata". Technical Report TR-07-04 , University of Cyprus, 2007 pdf

M. Gelastou , Ch. Georgiou, and A. Philippou. "On the Application of Formal Methods for Specifying and Verifying Distributed Algorithms". Submitted for publication pdf