Forschungsprojekt - DZSF - Optimierung von DSTW-Zulassungsprozessen durch eine automatisierte Testplattform und formale Methoden
Deadline:15 Jan 2025, 12:00 CET
Tender information
DE_BKMSBonn, Germany
- Type
- tender
- Procedure
- Open
- Ref. number
- 1018cbbd-6c83-4062-9f1b-5791a3b5d4be
- Estimated value
- 419,896 EUR
- CPV
- 73000000
Es soll untersucht werden, ob durch die Festlegung von zusätzlichen formalen Eigenschaften für die EULYNX-Spezifikation der Interpretationsspielraum geschlossen, eine Validierung der Spezifikation insgesamt durchgeführt …