Systematic Verification and Testing

Dana Dghyam, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook, Rupert Schlick, Peter Tummeltshammer

Publikation: Beitrag in Buch oder TagungsbandBuchkapitel

OriginalspracheEnglisch
TitelValidation and Verification of Automated Systems - Results of the ENABLE-S3 Project
Seiten89-104
Seitenumfang16
DOIs
PublikationsstatusVeröffentlicht - 2020

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren