Showing 1 - 2 results of 2 for search 'Thomas Baar', query time: 0.01s Refine Results
  1. 1
    Towards Measuring the Abstractness of State Machines based on Mutation Testing

    Towards Measuring the Abstractness of State Machines based on Mutation Testing by Thomas Baar

    Published 2017-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

    A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier by Thomas Baar, Sergey Staroletov

    Published 2018-10-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: