Synonyme wurden verwendet für:
formale Spezifikation
Suche ohne Synonyme:
keywords:(formale Spezifikation)
Requirements-based conformance testing of ARINC 653 real-time operating systems
Evaluating a control system architecture based on a formally derived AOCS model