TY  - GEN
AU  - Golubeva,Olga
TI  - On-line control-flow checking for FSMs
KW  - программные средства
KW  - аппаратные средства
KW  - труды ученых ТГУ
N1  - Библиогр.: 5 назв
ER  -