Synonyms were used for:
formale Spezifikation
Search without synonyms:
keywords:(formale Spezifikation)
Automated specification-based test case generation using SCR
Automated specification-based test case generation using SCR
Extending the use of measurement
A Guidance Framework for the Generation of Implementation Models in the Automotive Domain
Object oriented and formal methods for AUV development