Paper accepted at F-IDE
September 7, 2019
Our paper on simulation under arbitrary temporal logic constraints has just been accepted at the Workshop on Formal Integrated Development Environment (F-IDE) at FM.
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.