|
СТ |
Puzzles and Spin: Irregular SPIN cube |
2011 |
Bodin E. V. |
PSI Conference Series |
|
|
Program Understanding |
05.07.2011 |
|
СТ |
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 |
|
СТ |
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 |
|
СТ |
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 |
|
П |
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 |
|
СТ |
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 |
|
СТ |
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 |
