000 01395naa a2200241 i 4500
001 vtls000378346
003 RU-ToGU
005 20220413165408.0
008 101212s2007 ru f 100 0 eng d
035 _ato000378346
040 _aRU-ToGU
_brus
_cRU-ToGU
080 _a681.326.7
100 1 _aGolubeva, Olga
_982230
245 1 0 _aOn-line control-flow checking for FSMs
_cO. Golubeva
504 _aБиблиогр.: 5 назв.
653 _aпрограммные средства
653 _aаппаратные средства
653 _aтруды ученых ТГУ
773 0 _tДоклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)
_dТомск, 2007
_gС. 264-269
_kВестник Томского государственного университета. Приложение ; № 23, Август 2007
_kСерия "Математика. Кибернетика. Информатика"
_wto000236561
852 _aRU-ToGU
908 _aстатья
999 _c258491