Forschungsprojekt - DZSF - Optimierung von DSTW-Zulassungsprozessen durch eine automatisierte Testplattform und formale Methoden
Tender information
DE_BKMSBonn, Germany
- Type
- award
- Procedure
- Open
- Ref. number
- d394e29f-787e-4513-8753-85573e899b73
- 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 …