Jabier Martinez, Alejandra Ruiz, Ansgar Radermacher, Stefano Tonetta. Assumptions and Guarantees for Composable Models in Papyrus for Robotics. In 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE@ICSE 2021, Madrid, Spain, June 2, 2021. pages 1-4, IEEE, 2021. [doi]
Abstract is missing.