Formelle metoder til test af parallelle systemer
Project: PhD
- Binau, Ulla (Phd Student)
- Sharp, Robin (Main Supervisor)
| Status | Completed |
|---|---|
| Period | 01-09-90 → 01-07-94 |
| Financing source | Internal funding (public) |
|---|---|
| Research programme | DTU-stipendium |
ID: 2297110