Showing 1 - 2 results of 2 for search 'Yevheniia Sokolova', query time: 0.02s Refine Results
  1. 1
    A Software Verification Method for the Internet of Things and Cyber-Physical Systems

    A Software Verification Method for the Internet of Things and Cyber-Physical Systems by Yuriy Manzhos, Yevheniia Sokolova

    Published 2023-07-01
    Get full text
    Article
  2. 2
    A type system for formal verification of cyber-physical systems C/C++ software

    A type system for formal verification of cyber-physical systems C/C++ software by Yuriy Manzhos, Yevheniia Sokolova

    Published 2024-02-01
    Get full text
    Article

Search Tools: