Login
| TI Ref No : | 516873049 |
|---|---|
| Description : | Contract Awarded For Research Project - Dzsf - Optimization Of Dstw Approval Processes Through An Automated Test Platform And Formal Methods it Is To Be Examined Whether The Determination Of Additional Formal Properties For The Eulynx Specification Of The |
| Date : | 2025-04-14 |
| Deadline : | 2025-06-25 |
| Document Type : | Contracts |
