Подписаться
Vladyslav  Volkov
Vladyslav Volkov
Senior researcher, Glushkov Institute of Cybernetics, NANU
Подтвержден адрес электронной почты в домене iss.org.ua
Название
Процитировано
Процитировано
Год
Basic protocols, message sequence charts, and the verification of requirements specifications
A Letichevsky, J Kapitonova, A Letichevsky Jr, V Volkov, S Baranov, ...
Computer Networks 49 (5), 661-675, 2005
1612005
Cyber-physical systems
AA Letichevsky, OO Letychevskyi, VG Skobelev, VA Volkov
Cybernetics and Systems Analysis 53, 821-834, 2017
672017
Systems specification by basic protocols
AA Letichevsky, YV Kapitonova, VA Volkov, AA Letichevsky, SN Baranov, ...
Cybernetics and Systems Analysis 41, 479-493, 2005
632005
Insertion modeling in distributed system design
AA Letichevsky, JV Kapitonova, AA Letichevsky Jr, VP Kotlyarov, ...
Інститут програмних систем НАН України, 2008
532008
Validation of embedded systems
J Kapitonova, A Letichevsky, V Volkov, T Weigert
The Embedded Systems Handbook. CRC Press, Miami, 479-493, 2005
332005
Insertion programming
AA Letichevskii, YV Kapitonova, VA Volkov, VV Vyshemirskii, ...
Cybernetics and Systems Analysis 39 (1), 16-26, 2003
282003
Semantics of message sequence charts
AA Letichevsky, JV Kapitonova, VP Kotlyarov, VA Volkov, AA Letichevsky, ...
SDL 2005: Model Driven: 12th International SDL Forum, Grimstad, Norway, June …, 2005
242005
Tools for solving problems in the scope of algebraic programming
YV Kapitonova, AA Letichevsky, MS L'vov, VA Volkov
Integrating Symbolic Mathematical Computation and Artificial Intelligence …, 1995
211995
Modeling method for development of digital system algorithms based on programmable logic devices
OO Letychevskyi, VS Peschanenko, VS Kharchenko, VA Volkov, ...
Cybernetics and Systems Analysis 56, 710-717, 2020
152020
Deductive tools of an algebraic programming system
YV Kapitonova, AA Letichevskii, VA Volkov
Cybernetics and Systems Analysis 36, 12-26, 2000
112000
Insertion modeling
AA Letichevsky, YV Kapitonova, VA Volkov, VV Vyshemirsky
Control Systems and Computers 6 (3), 3-14, 2012
102012
Semantics of timed MSC language
AA Letichevsky, JV Kapitonova, V Kotlyarov, A Letichevsky Jr, V Volkov
Kibernetika and System Analysis 4, 3-13, 2002
102002
Algebraic programming system APS (user manual) Glushkov Institute of Cybernetics
A Letichevsky, J Kapitonova, V Volkov, A Chugajenko, V Chomenko, ...
National Acad. of Sciences of Ukraine, Kiev, Ukraine, 1998
71998
Applied Computer Support of Mathematical Training
M Lvov, VA Volkov, AB Kupriienko
Proc. of Internal Work Shop in Computer Algebra Applications.–Kiev, 1993.–Р …, 1993
71993
Semantics of timed message sequence charts
AA Letichevskii, YV Kapitonova, VP Kotlyarov, AA Letichevskii, VA Volkov
Cybernetics and Systems Analysis 38, 475-484, 2002
62002
Tools for Solving Problems in the Scope of Algebraic Programming. LNCS, 958
Y Kapitonova, A Letichevsky, M L’vov, V Volkov
Springer, 1995
61995
Algebraic virtual machine project
O Letychevskyi, V Peschanenko, V Volkov
International Conference on Information and Communication Technologies in …, 2021
52021
System validation
JV Kapitonova, AA Letichevsky, VA Volkov, T Weigert
Embedded Systems: Handbook, 6-1-6-57, 2005
42005
Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations
AA Letichevskii, PN Denisenko, VI Bilenko, VA Volkov
Cybernetics and Systems Analysis 33 (1), 85-88, 1997
41997
Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems
O Letychevskyi, Y Tarasich, V Peschanenko, V Volkov, H Sokolova, ...
International Conference on Information and Communication Technologies in …, 2021
22021
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20