|
СТ |
Compositional methods in characterization of timed event structures |
2010 |
Bozhenkova E. N. |
Computer Science |
|
|
Bulletin of the Novosibirsk Computing Center |
05.04.2011 |
|
СТ |
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 |
|
СТ |
Timed Testing for Models with Internal Actions |
2002 |
Bozhenkova E. N. |
|
|
|
Joint Bull. of NCC and IIS |
17.07.2003 |
|
П |
Unified Characterization of Some Properties of Event Structures |
1994 |
Virbitskaite I. B., Bozhenkova E. N. |
|
|
Hildesheimer Informatik-Berichte |
|
06.04.1998 |
|
СТ |
Event Structures and their Properties |
1994 |
Virbitskaite I. B., Bozhenkova E. N. |
|
|
ИСИ СО РАН |
Specification, Verification and Net Models of Concurrent Systems |
28.11.1995 |
