Применение автоматных моделей для тестирования автоматизированных систем управления

Применение автоматных моделей для тестирования автоматизированных систем управления

Bibliographic Details
Parent link:	Технологии Microsoft в теории и практике программирования: сборник трудов IX Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых, 21-22 марта 2012 г., г.Томск/ Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики ; отв. ред. А. Р. Вахитов. [С. 46-48].— , 2012
Main Author:	Зебзеев А. Г. Алексей Григорьевич
Corporate Author:	Национальный исследовательский Томский политехнический университет (ТПУ) Институт кибернетики (ИК) Кафедра интегрированных компьютерных систем управления (ИКСУ)
Other Authors:	Журавлев Д. В. Денис Владимирович (727), Громаков Е. И. Евгений Иванович
Summary:	Заглавие с титульного листа. It was shown that it is necessary to test program implementation with the guaranteed fault coverage. It was proposed to use timed finite state machine for program testing
Published:	2012
Series:	Автоматизированные системы управления и мехатроника
Subjects:	электронный ресурс труды учёных ТПУ автоматные модели тестирование автоматизированные системы управления АСУ
Online Access:	http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf
Format:	Electronic Book Chapter
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147

Internet

http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf