Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/03/1997 → 27/02/1999 |
Collaborative partners
- Technical University of Denmark (lead)
- Beologic A/S (Project partner)
- Aalborg University (Project partner)
Funding
- Unknown
Verification of Large State Machines
- Staunstrup, Jørgen (Project Manager)