Vincenzo Stoico. A Model-Driven Approach for Early Verification and Validation of Embedded Systems. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021. pages 684-688, IEEE, 2021. [doi]
Abstract is missing.