Жуковская Александра Олеговна

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

1. Метод идентификации обратимого автомата с известной функцией выходов
   
   ПДМ. Приложение, 2017, № 10,  140–142
2. О простых условных экспериментах идентификации обратимых автоматов некоторого класса
   
   ПДМ. Приложение, 2016, № 9,  115
3. Операционная семантика ЛЯПАСа
   
   ПДМ. Приложение, 2015, № 8,  131–132
4. Разработка автоматизированного средства для доказательства свойств программ
   
   ПДМ. Приложение, 2014, № 7,  148–150