Month: August 2019

Das Paper “Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability” von Eduard Kamburjan und Jonas Stromberg wurde beim Workshop on […]