TY - CHAP U1 - Konferenzveröffentlichung A1 - Björklund, Ludvig A1 - Glaser, Markus A1 - Skofteland, Gunleiv A1 - Lundteigen, Maryann ED - Castanier, Bruno T1 - A Comparison of Different Approaches for Verification and Validation of Software in Safety-Critical Systems T2 - Proceedings of the 31st European Safety and Reliability Conference Y1 - 2021 SN - 978-981-18-2016-8 SB - 978-981-18-2016-8 U6 - https://doi.org/10.3850/978-981-18-2016-8_262-cd DO - https://doi.org/10.3850/978-981-18-2016-8_262-cd SP - 3451 EP - 3458 PB - Research Publishing Services CY - Chennai ER -