( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Insertion Modeling System.

, , и . Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 262-273. Springer, (2011)

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.

Vladimir Milutinovi

Vladimir Bondarev

Vladimir Borisov

Vladimir Zonine

Vladimir Spokoiny

 

Другие публикации лиц с тем же именем

Insertion Modeling System and Constraint Programming., , , , и . ICTERI, том 716 из CEUR Workshop Proceedings, стр. 51-64. CEUR-WS.org, (2011)About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation., , и . ICTERI (Revised Selected Papers), том 347 из Communications in Computer and Information Science, стр. 149-164. Springer, (2012)Usage of Invariants for Symbolic Verification of Requirements., , , , , и . SCSS, том 15 из EPiC Series in Computing, стр. 124. EasyChair, (2013)Insertion Modeling System., , и . Ershov Memorial Conference, том 7162 из Lecture Notes in Computer Science, стр. 262-273. Springer, (2011)The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification., , , и . ICTERI, том 1844 из CEUR Workshop Proceedings, стр. 536-554. CEUR-WS.org, (2017)An Interleaving Reduction for Reachability Checking in Symbolic Modeling., , и . ICTERI, том 1356 из CEUR Workshop Proceedings, стр. 338-353. CEUR-WS.org, (2015)An Algebraic Approach for Analyzing of Legal Requirements., , , и . RE Workshops, стр. 209-212. IEEE Computer Society, (2017)Formalization and Algebraic Verification of Legal Requirements., , , , , , и . ICTERI, том 1844 из CEUR Workshop Proceedings, стр. 524-535. CEUR-WS.org, (2017)Specializations and Symbolic Modeling., , и . ICTERI, том 1000 из CEUR Workshop Proceedings, стр. 490-505. CEUR-WS.org, (2013)Specializations in Symbolic Verification., , и . ICTERI (Revised Selected Papers), том 412 из Communications in Computer and Information Science, стр. 332-354. Springer, (2013)