Нет фото Елена Николаевна Боженкова

Боженкова Елена Николаевна

Кандидат физико-математических наук

20192020

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Fingerprint Узнайте самые подробные результаты анализа активности Елена Николаевна Боженкова. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.

  • 1 Аналогичные профили

Сеть Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.

Результат исследований

  • 1 статья в сборнике материалов конференции
  • 1 статья

Testing Equivalences of Time Petri Nets

Bozhenkova, E. N. & Virbitskaite, I. B., 1 июл 2020, В : Programming and Computer Software. 46, 4, стр. 251-260 10 стр.

Результат исследования: Научные публикации в периодических изданияхстатья

  • Causality-Based Testing in Time Petri Nets

    Bozhenkova, E., Virbitskaite, I. & Popova-Zeugmann, L., 1 янв 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 252-261 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование