Showing 1 - 3 results of 3 for search 'Sergey Staroletov', query time: 0.02s Refine Results
  1. 1
    Architectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case

    Architectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case by Sergey Staroletov

    Published 2021-10-01
    Get full text
    Article
  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
  3. 3
    An Anomaly Detection and Network Filtering System for Linux Based on Kohonen Maps and Variable-order Markov Chains

    An Anomaly Detection and Network Filtering System for Linux Based on Kohonen Maps and Variable-order Markov Chains by Sergey Staroletov, Roman Chudov

    Published 2022-11-01
    Get full text
    Article

Search Tools: