Zobrazeno 1 - 5 of 5 pro vyhledávání: '"Peschanenko, Vladimir"'
1
Conference
Invariants in symbolic modeling and verification of requirements.
Autor: Letichevsky, Alexander, Godlevsky, Alexander, Guba, Anton, Kolchin, Alexander, Letychevskyi, Oleksandr, Peschanenko, Vladimir
Publikováno v: Ninth International Conference on Computer Science & Information Technologies Revised Selected Papers; 2013, p1-6, 6p
Zobrazit plný text záznamu
2
Kniha
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation.
Autor: Letichevsky, Alexander, Letychevskyi, Olexander, Peschanenko, Vladimir
Publikováno v: ICT in Education, Research & Industrial Applications; 2013, p149-164, 16p
Zobrazit plný text záznamu
3
Kniha
Specializations in Symbolic Verification.
Autor: Peschanenko, Vladimir, Guba, Anton, Shushpanov, Constantin
Publikováno v: Information & Communication Technologies in Education, Research & Industrial Applications; 2013, p332-354, 23p
Zobrazit plný text záznamu
4
Kniha
Insertion Modeling System.
Autor: Letichevsky, Alexander A., Letychevskyi, Olexandr A., Peschanenko, Vladimir S.
Publikováno v: Perspectives of Systems Informatics (9783642297083); 2012, p262-273, 12p
Zobrazit plný text záznamu
5
Akademický článek
Insertion Modeling and Its Applications.
Autor: Letichevsky, Alexander1, Letychevskyi, Oleksandr1, Peschanenko, Vladimir2
Publikováno v: Computer Science Journal of Moldova. 2016, Vol. 24 Issue 3, p357-370. 14p.
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje