"Visualization and Abstractions for Execution Paths in Model-Based Software ..."

Rui Wang et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics