PhD and MSc Theses
PhD and MSc Theses, since 1988
Advisor | MR Ron Goldring |
---|---|
No of theses | 1 |
Department | Data and Decision Sciences |
Department Web Site | iew3.technion.ac.il |
Student's Name | Graduation Year | Degree | Abstracts | Research Name |
---|---|---|---|---|
Shtrichman Ofer | 1996 | MSc | Improving Real-Time Systems' Reliability Using Temporal Logic |