Search for 'an:54020' with limit(s): 'suppress:false'

Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 , [affiliated with] 9th International computer science symposium in Russia , proceedings

By Valery Nepomniaschy, Valery Sokolov (eds.).
Moscow [s. n.] 2014 .
IV, 78 с. 29.

Моделирование и верификация распределённых систем, представленных на языке SDL, с помощью языка Dynamic-REAL , Modeling and verification of distributed systems specified in the language SDL with the help of the language Dynamic-REAL

By В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов.
Новосибирск Институт систем информатики 2010 .
44 с. , Авт. также на англ. яз.: V.A. Nepomniaschy, E.V. Bodin, S.O. Veretnov 21.

Применение языка Dynamic-REAL для анализа и верификации распределенных систем, специфицированных на языке SDL

By В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов.
Новосибирск Институт систем информатики 2011 .
52 с. , Авт. также на англ. яз.: V.A. Nepomniaschy, E.V. Boodin, S.O. Veretnov | Рез. на англ. яз. 21.

Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри

By Н. В. Визовитин, В. А. Непомнящий.
Новосибирск Институт систем информатики им. А. П. Ершова СО РАН 2012 .
55 с. , Авт. также на англ. яз.: N.V. Vizovitin, V.A. Nepomniaschy | Рез. на англ. яз. 21.

Верификация раскрашенных сетей Петри методом проверки моделей

By А. А. Стененко, В. А. Непомнящий.
Новосибирск [б. и.] 2015 .
27 с. , Авт. также на англ. яз.: A.A. Stenenko, V.A. Nepomniaschy 21.

Анализ MSC-диаграмм распределенных систем с помощью раскрашенных сетей Петри

By С. А. Черненок, В. А. Непомнящий.
Новосибирск Институт систем информатики 2013 .
61 с. , Авт. также на англ. яз.: V.A. Nepomniaschy, S.A. Chernenok 21.