К верификации логических схем на основе временных автоматов

Συνεισφορές: Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 335-336

Θεματικοί όροι: последовательностные схемы, автоматы временные, пересечение временных автоматов

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000450311

К верификации логических схем на основе временных автоматов

Συγγραφείς: Кидярова, Галина Владимировна

Συνεισφορές: Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ

Πηγή: Известия высших учебных заведений. Физика. 2012. Т. 55, № 9/2. С. 335-336

Θεματικοί όροι: последовательностные схемы, автоматы временные, пересечение временных автоматов

Περιγραφή αρχείου: application/pdf

Relation: vtls:000450311; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000450311

Διαθεσιμότητα: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000450311