Formal Model Validation Through Acceptance Tests
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
2019-01-01
14 pages
Conference paper
Unknown
© 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
|SAE Technical Papers | 1973
|Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability
SAE Technical Papers | 2012
|