Куцак Нина Юрьевна

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

1. Формальная верификация диаграмм троичных цифровых сигналов
   
   Модел. и анализ информ. систем, 26:3 (2019),  332–350