Showing 1 - 2 results of 2 for search 'Sergey Staroletov', query time: 0.01s Refine Results
  1. 1
    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:
  2. 2
    Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study

    Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study by Tatiana Liakh, Andrei Rozov, Vladimir Zyubin, Sergey Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov

    Published 2021-09-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: