1. 2020
  2. Testing Equivalences of Time Petri Nets

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

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

  3. 2019
  4. 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).

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

ID: 3432792