Ludvig Björklund et.al.: A Comparison of Different Approaches for Verification and Validation of Software in Safety-Critical Systems. In: Proceedings of the 31st European Safety and Reliability Conference, Chennai, Research Publishing Services, 2021, pp. 3451-3458. (ESREL 2021, Angers, France, 19-23 September).
DOI: https://doi.org/10.3850/978-981-18-2016-8_262-cd