Showing 1 - 2 results of 2 for search 'Cristina Seceleanu', 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:
  2. 2
    Smart Assistants for Enhancing System Security and Resilience

    Smart Assistants for Enhancing System Security and Resilience by Andrey Sadovykh, Dragos Truscan, Martin Schneider, Wissam Mallouli, Ana Cavalli, Cristina Seceleanu, Tanwir Ahmad

    Published 2024-11-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: