Paper accepted at IJRC
April 13, 2021
Our extended paper on ROSY, an elegant language to teach the pure reactive nature of robot programming, has just been accepted at the International Journal of Robotic Computing (IJRC).
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.