Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Approach to behavior scenarios debugging., , , , and . Automatic Control and Computer Sciences, 49 (7): 430-436 (2015)A Model for Interaction of Agents and Environments., and . WADT, volume 1827 of Lecture Notes in Computer Science, page 311-328. Springer, (1999)The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape., , and . LATA, volume 6031 of Lecture Notes in Computer Science, page 392-402. Springer, (2010)Efficient Algorithm for Reachability Checking in Modeling., , and . ICTERI, volume 848 of CEUR Workshop Proceedings, page 71-81. CEUR-WS.org, (2012)Discovery of Invariant Equalities in Programs over Data Fields., and . Appl. Algebra Eng. Commun. Comput., (1993)Design Problems of Software Special Systems., and . IFIP Congress (1), page 335-338. North-Holland, (1971)Algebras with Approximation and Excursive Data Structures.. FCT, volume 278 of Lecture Notes in Computer Science, page 284-287. Springer, (1987)Semantics of Message Sequence Charts., , , , , and . SDL Forum, volume 3530 of Lecture Notes in Computer Science, page 117-132. Springer, (2005)A formal approach to test scenarios generation based on guides., , and . Automatic Control and Computer Sciences, 48 (7): 415-423 (2014)Incremental approach to the technology of test design for industrial projects., , , and . Automatic Control and Computer Sciences, 50 (7): 486-492 (2016)