Showing 1 - 20 results of 21 for search 'E. V. Kuzmin', query time: 0.05s Refine Results
  1. 1
    The Modeling of Counter Machines by Two-Head Finite Automata

    The Modeling of Counter Machines by Two-Head Finite Automata by E. V. Kuzmin, V. A. Sokolov

    Published 2015-03-01
    Get full text
    Article
  2. 2
    On Verification of PLC-Programs Written in the LD-Language

    On Verification of PLC-Programs Written in the LD-Language by E. V. Kuzmin, V. A. Sokolov

    Published 2012-01-01
    Get full text
    Article
  3. 3
    LTL Verification of Automaton Programs

    LTL Verification of Automaton Programs by K. A. Vasileva, E. V. Kuzmin

    Published 2007-03-01
    Get full text
    Article
  4. 4
    On Construction and Verification of PLC-Programs

    On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

    Published 2012-01-01
    Get full text
    Article
  5. 5
    The Modeling of Counter Machines by Two-Head Finite Automata

    The Modeling of Counter Machines by Two-Head Finite Automata by E. V. Kuzmin, V. A. Sokolov

    Published 2012-01-01
    Get full text
    Article
  6. 6
    Modeling, Specification and Construction of PLC-programs

    Modeling, Specification and Construction of PLC-programs by E. V. Kuzmin, V. A. Sokolov

    Published 2013-01-01
    Get full text
    Article
  7. 7
    On Construction and Verification of PLC-Programs

    On Construction and Verification of PLC-Programs by E. V. Kuzmin, V. A. Sokolov

    Published 2015-02-01
    Get full text
    Article
  8. 8
    On a reachability set of automaton counter machines

    On a reachability set of automaton counter machines by E. V. Kuzmin, D. J. Chalyy

    Published 2010-03-01
    Get full text
    Article
  9. 9
    Modeling, Specification and Construction of PLC-programs

    Modeling, Specification and Construction of PLC-programs by E. V. Kuzmin, V. A. Sokolov

    Published 2013-04-01
    Get full text
    Article
  10. 10
    On Verification of PLC-Programs Written in the LD-Language

    On Verification of PLC-Programs Written in the LD-Language by E. V. Kuzmin, V. A. Sokolov

    Published 2015-02-01
    Get full text
    Article
  11. 11
    On a reachability set of automaton 3-counter machines

    On a reachability set of automaton 3-counter machines by E. V. Kuzmin, D. J. Chalyy

    Published 2009-09-01
    Get full text
    Article
  12. 12
    On the decidability of boundedness problems for counter Minsky machines

    On the decidability of boundedness problems for counter Minsky machines by E. V. Kuzmin, D. Ju. Chalyy

    Published 2008-03-01
    Get full text
    Article
  13. 13
    On languages of automaton counter machines

    On languages of automaton counter machines by E. V. Kuzmin, D. Ju. Chalyy

    Published 2010-06-01
    Get full text
    Article
  14. 14
    Construction and Verification of PLC LD-programs by LTL-specification

    Construction and Verification of PLC LD-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

    Published 2013-01-01
    Get full text
    Article
  15. 15
    Modeling a Consistent Behavior of PLC-Sensors

    Modeling a Consistent Behavior of PLC-Sensors by E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov

    Published 2014-08-01
    Get full text
    Article
  16. 16
    Construction and Verification of PLC-programs by LTL-specification

    Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

    Published 2013-01-01
    Get full text
    Article
  17. 17
    Construction of PLC IL-Programs by LTL-Specification

    Construction of PLC IL-Programs by LTL-Specification by D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov

    Published 2014-04-01
    Get full text
    Article
  18. 18
    Construction and Verification of PLC-programs by LTL-specification

    Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

    Published 2013-08-01
    Get full text
    Article
  19. 19
    Construction and Verification of PLC LD-programs by LTL-specification

    Construction and Verification of PLC LD-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

    Published 2013-12-01
    Get full text
    Article
  20. 20
    Construction of CFC-programs by LTL-specification

    Construction of CFC-programs by LTL-specification by D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov

    Published 2016-04-01
    Get full text
    Article

Search Tools: