![No Image](https://formbar.raillab.de/wp-content/themes/mh-magazine-lite/images/placeholder-medium.png)
Paper Accepted at F-IDE’19
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 […]
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 […]
Copyright © 2024 | WordPress Theme by MH Themes