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