検索結果 1 - 12 結果 / 12 検索語 'O. Garanina', 処理時間: 0.03秒 結果の絞り込み
  1. 1
    Model Checking of Distributed Systems with Affine Data Structures

    Model Checking of Distributed Systems with Affine Data Structures 著者: N. O. Garanina

    出版事項 2010-12-01
    全文の入手
    論文
  2. 2
    An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms

    An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms 著者: Natalia O. Garanina

    出版事項 2024-12-01
    全文の入手
    論文
  3. 3
    Common Knowledge in Well-structured Perfect Recall Systems

    Common Knowledge in Well-structured Perfect Recall Systems 著者: N. O. Garanina

    出版事項 2013-12-01
    全文の入手
    論文
  4. 4
    Optimization Procedures in Affine Model Checking

    Optimization Procedures in Affine Model Checking 著者: N. O. Garanina

    出版事項 2011-12-01
    全文の入手
    論文
  5. 5
    An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution

    An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution 著者: N. O. Garanina, E. A. Sidorova

    出版事項 2016-12-01
    全文の入手
    論文
  6. 6
    Requirement patterns in deductive verification of poST Programs

    Requirement patterns in deductive verification of poST Programs 著者: Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina

    出版事項 2024-03-01
    全文の入手
    論文
  7. 7
    Verification Oriented Process Ontology

    Verification Oriented Process Ontology 著者: Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

    出版事項 2018-12-01
    全文の入手
    論文
  8. 8
    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

    Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem) 著者: E. V. Bodin, N. O. Garanina, N. V. Shilov

    出版事項 2011-06-01
    全文の入手
    論文
  9. 9
    Using SPIN for Verification of Multi-agent Data Analysis

    Using SPIN for Verification of Multi-agent Data Analysis 著者: N. O. Garanina, E. V. Bodin, E. A. Sidorova

    出版事項 2014-12-01
    全文の入手
    論文
  10. 10
    Methods for Domain Specification of Verification-Oriented Process Ontology

    Methods for Domain Specification of Verification-Oriented Process Ontology 著者: Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

    出版事項 2019-12-01
    全文の入手
    論文
  11. 11
    Model checking programs in process-oriented IEC 61131-3 Structured Text

    Model checking programs in process-oriented IEC 61131-3 Structured Text 著者: Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

    出版事項 2024-03-01
    全文の入手
    論文
  12. 12
    poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language

    poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language 著者: Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalia O. Garanina, Valeriy Vyatkin

    出版事項 2022-01-01
    全文の入手
    論文

検索ツール: