|
Search the dblp DataBase
Vladislav A. Volkov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Y. V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov, M. S. Lvov
Tools for Solving Problems in the Scope of Algebraic Programming. [Citation Graph (0, 0)][DBLP] AISMC, 1994, pp:30-47 [Conf]
- Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
Requirement Capturing and 3CR Approac. [Citation Graph (0, 0)][DBLP] COMPSAC, 2002, pp:279-283 [Conf]
- Alexander A. Letichevsky, Julia V. Kapitonova, Vsevolod Kotlyarov, Vladislav A. Volkov, A. A. Letichevsky Jr., Thomas Weigert
Semantics of Message Sequence Charts. [Citation Graph (0, 0)][DBLP] SDL Forum, 2005, pp:117-132 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Computer Networks, 2005, v:49, n:5, pp:661-675 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:3, pp:- [Journal]
Search in 0.002secs, Finished in 0.002secs
|