Vladislav A. Volkov

According to our database1, Vladislav A. Volkov authored at least 7 papers between 1994 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Formal Requirements Capturing using VRS system.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2005
System Validation.
Proceedings of the Embedded Systems Handbook., 2005

Basic protocols, message sequence charts, and the verification of requirements specifications.
Comput. Networks, 2005

Semantics of Message Sequence Charts.
Proceedings of the SDL 2005: Model Driven, 2005

2002
Requirement Capturing and 3CR Approac.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

1999
The development of interactive algorithms for the Mathematical Environment.
Proceedings of the Systems for Integrated Computation and Deduction, 1999

1994
Tools for Solving Problems in the Scope of Algebraic Programming.
Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994


  Loading...