Formal Model Validation Through Acceptance Tests
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
01.01.2019
14 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Engineering Index Backfile | 1930
|Acceptance tests for locomotives
Engineering Index Backfile | 1900
Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
British Library Conference Proceedings | 2012
|Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
SAE Technical Papers | 2012
|SAE Technical Papers | 1973
|