Journal

ICFEM 2022 paper is available online
You can download the paper “Formally Verified Animation for RoboChart Using Interaction Trees”.
Last updated on Oct 21, 2022
Project
Call for paper: Special Issue of Software Engineering for Robotics in Robotics and Autonomous Systems Journal, Elsevier
Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal, Elsevier.
Dec 9, 2021