Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 62-66
Language
rus
1296 Visitors1017 Hits299 Downloads
Радиофизический факультет
Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата