The following pages link to A. V. Bystrov (Q220096):
Displaying 5 items.
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- BARS - A basic parallel programming language (Q1091799) (← links)
- Application of Petri nets in verification of distributed systems represented in the Estelle language (Q2566429) (← links)
- (Q5234588) (← links)
- Verification of Estelle-specified communication protocols using high-level Petri nets (Q5951251) (← links)