PhD and MSc Theses

PhD and MSc Theses, since 1988

Advisor DR. Karen Yorav
No of theses 1
Department Computer Science
Department Web Site www.cs.technion.ac.il
Student’s Name Graduation Year Degree Abstracts Research Name
Meller Yael 2016 PhD Abstracts Model Checking Techniques for Behavioral UML Models