Paper accepted at STTT
July 15, 2019
Our extended work on the ERTMS case study has been accepted for publication at the International Journal on Software Tools for Technology Transfer (STTT).
Latest Announcements
Tags
- Lenses (1)
- Compositionality (1)
- CRIS (5)
- ETL (1)
- Invariants (2)
- Least-change (6)
- MDE (40)
- Model checking (7)
- Model finding (4)
- Model repair (3)
- Non-determinism (1)
- ORCID (5)
- Presentations (4)
- Projects (35)
- Publications (15)
- Robotic software (5)
- ROS (5)
- Software quality (2)
- Spreadsheets (1)
- Supervisions (3)
- Synchronization (5)
- Tool (26)
Subscribe
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.