Вы здесь

Bodin E. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Formal Semantics of Real-Time System Specification Language Basic-Real 1994 Nepomniaschy V. A., Shilov N. V., Bodin E. V. ИСИ СО РАН Specification, Verification and Net Models of Concurrent Systems 29.11.1995
СТ Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications 1997 Nepomniaschy V. A., Shilov N. V., Bodin E. V. Computer Science Joint Bull. of NCC and IIS 24.03.1999
П A New Language Basic-Real for Specification and Verification of Distributed System Models 1999 Nepomniaschy V. A., Shilov N. V., Bodin E. V. Inst. of Informatics Systems 19.10.1999
СТ Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems 2002 Nepomniaschy V. A., Shilov N. V., Bodin E. V., Kozura V. E. Lecture Notes in Computer Science 20.06.2002
СТ Effective generation of verification conditions for non-deterministic unstructured programs 2007 Anureev I. S., Bodin E. V., Shilov N. V. Bulletin of the Novosibirsk Computing Center 04.03.2008
СТ On the problem of computer language classification 2009 Fnureev I. S., Bodin E. V., Gorodnyaya L. V., Marchuk A. G., Murzin F. A., Shilov N. V. Bulletin of the Novosibirsk Computing Center 10.08.2009
СТ Puzzles and Spin: Irregular SPIN cube 2011 Bodin E. V. PSI Conference Series Program Understanding 05.07.2011