The following pages link to T. G. Churina (Q220099):
Displaying 5 items.
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets (Q840067) (← links)
- Application of Petri nets in verification of distributed systems represented in the Estelle language (Q2566429) (← links)
- (Q4517042) (← links)
- (Q4517385) (← links)
- Verification of Estelle-specified communication protocols using high-level Petri nets (Q5951251) (← links)