Showing 1 - 2 results of 2 for search 'Wolfgang Ahrendt', query time: 0.02s Refine Results
  1. 1
    Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors

    Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors by Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

    Published 2019-08-01
    Get full text
    Article
  2. 2
    Automatically Learning Formal Models from Autonomous Driving Software

    Automatically Learning Formal Models from Autonomous Driving Software by Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Wolfgang Ahrendt, Martin Fabian

    Published 2022-02-01
    Get full text
    Article

Search Tools: