Кушик Наталья Геннадьевна

Публикации в базе данных Math-Net.Ru

1. О синтезе безусловных установочных и синхронизирующих экспериментов для наблюдаемых входо-выходных полуавтоматов
   
   Автомат. и телемех., 2023, № 6,  67–78
2. The effect of partiality and adaptivity on the complexity of FSM state identification problems
   
   Труды ИСП РАН, 30:1 (2018),  7–24
3. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов
   
   Модел. и анализ информ. систем, 24:6 (2017),  730–742
4. Проверяющие эксперименты с ненаблюдаемым древовидными автоматами
   
   Труды ИСП РАН, 27:6 (2015),  441–450
5. Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN
   
   Модел. и анализ информ. систем, 18:4 (2011),  131–143
6. К оптимизации комбинационных схем на основе решения уравнений
   
   Журн. СФУ. Сер. Матем. и физ., 1:3 (2008),  290–295