Вы здесь

Bozhenkova E. N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Unified Characterization of Some Properties of Event Structures 1994 Virbitskaite I. B., Bozhenkova E. N. Hildesheimer Informatik-Berichte 06.04.1998
СТ Timed Testing for Models with Internal Actions 2002 Bozhenkova E. N. Joint Bull. of NCC and IIS 17.07.2003
СТ Timed Testing for Dense Timed Model 2004 Bozhenkova E. N. Computer Science Joint Bull. of NCC and IIS 21.10.2004
СТ Investigating Nondeterministic Processes 1993 Bozhenkova E. N., Virbitskaite I. B. Bulletin of the Novosibirsk Computing Center 18.10.2004
СТ Event Structures and their Properties 1994 Virbitskaite I. B., Bozhenkova E. N. ИСИ СО РАН Specification, Verification and Net Models of Concurrent Systems 28.11.1995
СТ Compositional methods in characterization of timed event structures 2010 Bozhenkova E. N. Computer Science Bulletin of the Novosibirsk Computing Center 05.04.2011