Showing 1 - 1 results of 1 for search 'Lukas Dust', query time: 0.01s Refine Results
  1. 1
    A model-based approach to automation of formal verification of ROS 2-based systems

    A model-based approach to automation of formal verification of ROS 2-based systems by Lukas Dust, Rong Gu, Saad Mubeen, Mikael Ekström, Cristina Seceleanu

    Published 2025-07-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: