Электронная библиотека (репозиторий) Томского государственного университета
2016

Add to Quick Collection   All 12 Results

Showing items 1 - 12 of 12.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Improving protocol passive testing through "Gedanken" experiments with finite state machines
Authors: Kushik, Natalia G. | Cavalli, Ana | Yevtushenko, Nina V. | López, Jorge
Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, Austria. [S. l.], 2016. P. 315-322
Type: статьи в сборниках
Date: 2016
Add   On using finite state machines for optimization and testing of SDN controllers
Authors: Berriri, A. | Kushik, Natalia G. | Zeghlache, D.
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск 2016. С. 39-40
Type: статьи в сборниках
Date: 2016
Add   Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults
Authors: Matrosova, Anjela Yu. | Mitrofanov, Evgenii V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016. [S. l.], 2016. P. 533-536
Type: статьи в сборниках
Date: 2016
Add   Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
Authors: Kushik, Natalia G. | Yevtushenko, Nina V. | Yenigün, Hüsnü
Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, Italy. [S. l.], 2016. P. 83-90
Type: статьи в сборниках
Date: 2016
Add   Some classes of finite state machines with polynomial length of distinguishing test cases
Authors: Yenigün, Hüsnü | Yevtushenko, Nina V. | Kushik, Natalia G.
Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016. NY, 2016. P. 1680-1685
Type: статьи в сборниках
Date: 2016
Add   Synchronizing sequences for effective network monitoring: an application to TCP
Authors: Suhopluev, M. | López, J. | Kushik, Natalia G. | Schipachev, N.
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 40-41
Type: статьи в сборниках
Date: 2016
Add   Testing components of interacting timed finite state machines
Authors: Gromov, Maxim | Tvardovskii, Aleksandr | Yevtushenko, Nina V.
Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016. [S. l.], 2016. P. 193-196
Type: статьи в сборниках
Date: 2016
Add   Использование временных автоматов при тестировании киберфизических систем
Authors: Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Лапутенко, Андрей Владимирович
Source: Известия высших учебных заведений. Физика. 2016. Т. 59, № 12. С. 174-176
Type: статьи в журналах
Date: 2016
Add   Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
Authors: Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 63-64
Type: статьи в сборниках
Date: 2016
Add   К криптоанализу двухкаскадных конечно-автоматных криптографических генераторов
Authors: Агибалов, Геннадий Петрович | Панкратова, Ирина Анатольевна
Source: Прикладная дискретная математика. Приложение. 2016. № 9. С. 41-43
Type: статьи в журналах
Date: 2016
Description: Сообщается о конечно-автоматном обобщении регистрового генератора (5, т)-ша-гов и об атаках на него с угрозой раскрытия начальных состояний и функций выходов автоматов и со сложностью, много меньшей с ... More
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 62-63
Type: статьи в сборниках
Date: 2016
Add   Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
Authors: Белых, Виталий Сергеевич | Шабалдина, Наталия Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 44-45
Type: статьи в сборниках
Date: 2016
  • «
  • ←
  • 1
  • →
  • »

Creator

Subject

Resource Type

^