|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев, Н. Г. Кушик, “О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов”, Автомат. и телемех., 2023, № 6, 67–78  ; I. B. Burdonov, N. V. Evtushenko, A. S. Kosachev, N. G. Kushik, “On preset homing and synchronizing sequences for observable input/output automata”, Autom. Remote Control, 84:6 (2023), 685–691 |
|
2018 |
| 2. |
H. Yenigun, N. V. Evtushenko, N. G. Kushik, J. López, “The effect of partiality and adaptivity on the complexity of FSM state identification problems”, Труды ИСП РАН, 30:1 (2018), 7–24  |
6
|
|
2017 |
| 3. |
Н. Г. Кушик, Н. В. Евтушенко, И. Б. Бурдонов, А. С. Косачев, “К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов”, Модел. и анализ информ. систем, 24:6 (2017), 730–742 |
|
2015 |
| 4. |
Н. Г. Кушик, “Проверяющие эксперименты с ненаблюдаемым древовидными автоматами”, Труды ИСП РАН, 27:6 (2015), 441–450 |
|
2011 |
| 5. |
Н. Г. Кушик, А. Маммар, А. Кавалли, Н. В. Евтушенко, В. Джиминез, Э. Монте де Ока, “Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN”, Модел. и анализ информ. систем, 18:4 (2011), 131–143 |
|
2008 |
| 6. |
Наталья Г. Кушик, Мария В. Рекун, “К оптимизации комбинационных схем на основе решения уравнений”, Журн. СФУ. Сер. Матем. и физ., 1:3 (2008), 290–295 |
|
Обратная связь: