Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems.
Carsten WiecherConstantin MandelMatthias GüntherJannik FischbachJoel GreenyerMatthias GreinertCarsten WolffRoman DumitrescuDaniel MéndezAlbert AlbersPublished in: CoRR (2022)