Многоуровневый синтез автоматных моделей объектов мониторинга
Жукова Наталия Александровна. Многоуровневый синтез автоматных моделей объектов мониторинга: диссертация ... доктора Технических наук: 05.13.01 / Жукова Наталия Александровна;[Место защиты: ФГБУН Санкт-Петербургский институт информатики и автоматизации Российской академии наук], 2020