• DILOS - автоматизированная система декомпозиционного синтеза и верификации дискретных управляющих устройствKruus, Margus; Keevallik, Andres; Berkman, Boriss; Sudnitsõn, AleksanderВнедрение новых информационных технологий в процесс обучени профессионально-технических учебных заведений стран - членов СЭВ1989 / с. ?