TY - CONF AU - Martinez, Jabier AU - Ruiz, Alejandra AU - Radermacher, Ansgar AU - Tonetta, Stefano PY - 2021 DO - 10.1109/RoSE52553.2021.00007 SN - 9781665444743 UR - https://hdl.handle.net/11556/2812 AB - The separation of concerns helps to manage the intrinsic complexity of defining robotics components, systems and missions. This separation of concerns is supported by the Rob-MoSys modelling approach addressing both the modelling needs of the robotics... LA - eng PB - Institute of Electrical and Electronics Engineers Inc. TI - Assumptions and Guarantees for Composable Models in Papyrus for Robotics TY - conference output ER -