Project Details
| Status | Active |
|---|---|
| Effective start/end date | 1/03/25 → 31/08/27 |
Topsector
- TKI-HTSM
24MKB008 SCS4AI "AI-gestuurde Softwareontwikkeling met Formeel GeverifieerdeResultaten voor Kritieke Systemen"
- Reniers, Michel A. (Project Manager)
- Hofkamp, Albert T. (Project member)
- Goorden, Martijn A. (Project member)
Project: Third tier