S. O. Veretnov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A distributed systems specification language Dynamic-REAL (dREAL) which extends the language Basic-REAL developed previously by dynamic constructs for generating and removing process instances is presented. A tool-set SRDSV2 (SDL/REAL Distributed Systems Verifier) intended for modeling, analysis and verification of SDL-specifications of distributed systems(More)
  • 1