Systematic Verification and Testing

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

Publikation: Beitrag in Buch oder Tagungsband › Buchkapitel

Originalsprache	Englisch
Titel	Validation and Verification of Automated Systems - Results of the ENABLE-S3 Project
Seiten	89-104
Seitenumfang	16
DOIs	https://doi.org/10.1007/978-3-030-14628-3
Publikationsstatus	Veröffentlicht - 2020

Research Field

@inbook{5d9f2c65056a46f08991a0d1e290a679,

title = "Systematic Verification and Testing",

author = "Dana Dghyam and Tomas Fischer and \{Son Hoang\}, Thai and Klaus Reichl and Colin Snook and Rupert Schlick and Peter Tummeltshammer",

year = "2020",

doi = "10.1007/978-3-030-14628-3",

language = "English",

isbn = "978-3-030-14627-6",

pages = "89--104",

booktitle = "Validation and Verification of Automated Systems - Results of the ENABLE-S3 Project",

}

TY - CHAP

T1 - Systematic Verification and Testing

AU - Dghyam, Dana

AU - Fischer, Tomas

AU - Son Hoang, Thai

AU - Reichl, Klaus

AU - Snook, Colin

AU - Schlick, Rupert

AU - Tummeltshammer, Peter

PY - 2020

Y1 - 2020

U2 - 10.1007/978-3-030-14628-3

DO - 10.1007/978-3-030-14628-3

M3 - Book chapter

SN - 978-3-030-14627-6

SP - 89

EP - 104

BT - Validation and Verification of Automated Systems - Results of the ENABLE-S3 Project

ER -