|
СТ |
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols |
2007 |
Nepomniaschy V. A., Alekseev G. I., Argirov V. S., Beloglazov D. M., Bystrov A. V., Chetvertakov E. A., Churina T. G., Mylnikov S. P., Novikov R. M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
20.11.2007 |
|
СТ |
Towards Verification of Estelle-specified Communication Protocols: Coloured Petri Net Approach |
1998 |
Nepomniaschy V. A., Alekseev G. I., Bystrov A. V., Churina T. G., Okunishnikova E. V. |
|
|
IEEE Computer Society |
|
19.10.2004 |
|
СТ |
Petri-Net Based Environment for the Specification, Analysis and Simulation of Concurrent Systems |
1994 |
Alekseev G. I., Bystrov A. V., Mylnikov S. P., Churina T. G. |
|
|
ИСИ СО РАН |
Specification, Verification and Net Models of Concurrent Systems |
28.11.1995 |
|
СТ |
Petri Net Modelling of Estelle-specified Communication Protocols |
1995 |
Nepomniaschy V. A., Alekseev G. I., Bystrov A. V., Churina T. G., Mylnikov S. P., Okunishnikova E. V. |
Lecture Notes in Computer Science |
|
|
Parallel Computing Technologies |
17.10.1995 |
