Elena N. Bozhenkova
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — researcher
Academic degree: PhD
List of Articles:
Bozhenkova E. The notion of N-density for relational structures // Computer Science. — 2017 . — # 41.  — P. 1-12
Bozhenkova E. Compositional methods in characterization of timed event structures // Computer Science. — 2010 . — # 31.  — P. 45-64
Bozhenkova E. Timed testing for dense timed model // Computer Science. — 2004 . — # 20.  — P. 31-47
Bozhenkova E. Timed testing for models with internal actions // Computer Science. — 2002 . — # 18.  — P. 27-43
Bozhenkova E. Towards decidability of timed testing // Computer Science. — 2001 . — # 15.  — P. 17-29