Month: August 2019

The paper “Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability” by Eduard Kamburjan and Jonas Stromberg was accepted by the […]