Systematic Verification and Testing

Research output: Chapter in Book or Conference Proceedings › Book chapter

Original language	English
Title of host publication	Validation and Verification of Automated Systems - Results of the ENABLE-S3 Project
Pages	89-104
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-030-14628-3
Publication status	Published - 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 -