Login / Signup

UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations.

Lukas Johannes DustRong GuCristina SeceleanuMikael EkströmSaad Mubeen
Published in: FMICS (2024)
Keyphrases
  • multi threaded
  • operating system
  • model checking
  • memory management
  • virtual machine
  • multithreading
  • computer systems
  • databases
  • information systems
  • distributed systems
  • data mining
  • multi core processors
  • multi tasking