Showing 1 - 3 results of 3 for search 'Raman E. Sharykin', query time: 0.02s Refine Results
  1. 1
    Application of formal methods in the design of a single window system

    Application of formal methods in the design of a single window system by Raman E. Sharykin

    Published 2021-04-01
    Get full text
    Article
  2. 2
    Application of formal methods in the design of a collaborative virus defense system

    Application of formal methods in the design of a collaborative virus defense system by Raman E. Sharykin, Alexander N. Kourbatski

    Published 2020-03-01
    Get full text
    Article
  3. 3
    A model of distributed object­based stochastic hybrid systems

    A model of distributed object­based stochastic hybrid systems by Raman E. Sharykin, Alexander N. Kourbatski

    Published 2019-07-01
    Get full text
    Article

Search Tools: