| Date of Award | 2010 |
|---|---|
| Original language | English |
| Supervisor | Feza Buzluca (Supervisor) |
Verifying the interface compliance of federates using pre- and postconditions of RTI services
Student thesis: Master's thesis