Sergiu-Mihai Dascalu
Original record- Institution
- Dalhousie University
- Year
- 2001
- Country
- Canada
- MGP identifier
- 73480
Dissertation: Combining Semi-Formal and Formal Notations in Software Specification: An Approach to Modelling Time-Constrained Systems
Advisor 1
- Peter HitchcockUniversity of Warwick · 1974
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Jalal Hasan Ahmed Al Kiswani | University of Nevada, Reno | 2019 | 0 |
| Rui Wu | University of Nevada, Reno | 2018 | 0 |