|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
1. |
А. С. Твардовский, Н. В. Евтушенко, “Синтез установочных последовательностей для автоматов с временными ограничениями”, Модел. и анализ информ. систем, 27:4 (2020), 376–395 |
1
|
2. |
A. S. Tvardovskii, N. V. Yevtushenko, “On reduced forms of initialized Finite State Machines with timeouts”, Труды ИСП РАН, 32:2 (2020), 125–134 |
1
|
|
2019 |
3. |
A. S. Tvardovskii, N. V. Yevtushenko, “FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts”, Труды ИСП РАН, 31:4 (2019), 175–188 |
1
|
|
2018 |
4. |
А. С. Твардовский, Н. В. Евтушенко, “К синтезу адаптивных различающих последовательностей для конечных автоматов”, Труды ИСП РАН, 30:4 (2018), 139–154 |
3
|
5. |
А. С. Твардовский, А. В. Лапутенко, “О возможностях автоматного описания параллельной композиции временных автоматов”, Труды ИСП РАН, 30:1 (2018), 25–40 |
3
|
|
2017 |
6. |
А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко, “Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов”, Модел. и анализ информ. систем, 24:4 (2017), 496–507 |
7. |
А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов, “Минимизация автоматов с таймаутами и временными ограничениями”, Труды ИСП РАН, 29:4 (2017), 139–154 |
3
|
|