–
Статьи в журналах
-
- 2024 Testing and incremental conformance testing of timed state machines
- Tvardovskii Aleksandr, El-Fakih Khaled, Yevtushenko Nina
- в журнале Science of Computer Programming, издательство Elsevier BV (Netherlands), том 233 DOI
-
- 2022 Deriving homing sequences for Finite State Machines with timeouts
- Tvardovskii Aleksandr, Yevtushenko Nina
- в журнале Computer Journal, издательство Oxford University Press (United Kingdom), том 66, № 9, с. 2181-2190 DOI
-
- 2020 О минимизации инициальных автоматов с таймаутами
- Твардовский А.С., Евтушенко Н.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 2, с. 125-134 DOI