Vladislav A. Volkov

Publication Activity (10 Years)

Years Active: 1994-2010
Publications (10 Years): 0

Publications

Alexander A. Letichevsky, Alexander Kolchin, Oleksandr Letychevskyy Jr., Stepan Potiyenko, Vladislav A. Volkov, Thomas Weigert
Formal Requirements Capturing using VRS system. WING@ETAPS/IJCAR (2010)
Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert
Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Networks 49 (5) (2005)
Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert
Semantics of Message Sequence Charts. SDL Forum (2005)
Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
Requirement Capturing and 3CR Approac. COMPSAC (2002)
Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert
The development of interactive algorithms for the Mathematical Environment. Calculemus (1999)
Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov
Tools for Solving Problems in the Scope of Algebraic Programming. AISMC (1994)