Synonyms were used for:
formale Spezifikation
Search without synonyms:
keywords:(formale Spezifikation)
Requirements specification for process-control systems
Specification based prototyping of control systems
Coverage-directed test generation with model checkers: challenges and opportunities