"Model Driven Verification of Airplane Scenarios, Requirements and Functions."

Chao Zhan et al. (2021)
a service of Schloss Dagstuhl - Leibniz Center for Informatics