Вы здесь

Bystrov A. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Modeling and verification of SDL specified distributed systems using high-level Petri nets 2004 Nepomniaschy V. A., Argirov V. S., Beloglazov D. M., Bystrov A. V., Churina T. G., Mashukov M. Yu., Novikov R. M. Humboldt Univ. Berlin Concurrency, Specification and Programming - CS&P 2004 01.09.2006
СТ 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
СТ Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool 1999 Bystrov A. V., Virbitskaite I. B. Lecture Notes in Computer Science 15.09.1999
СТ 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