Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/09/1991 → 21/03/1995 |
Funding
- DTU stipendium
Teknikker til konstruktion og verifikation af datamatbaserede systemer
- Skakkebæk, Jens Ulrik (PhD Student)
- Ravn, Anders P. (Main Supervisor)
| Status | Finished |
|---|---|
| Effective start/end date | 01/09/1991 → 21/03/1995 |