vix.ing · top · new · best · stats · spec

Ferdinand Auerswald

  1. Enabling concurrency issue detection for ROS 2 using Timed Petri nets
    2026/07/07 by Sebastian Ebert, Ferdinand Auerswald, S. Götz +1 · 1 voice
    Computer Science · #Petri Nets in System Modeling #Real-Time Systems Scheduling #Formal Methods in Verification