|
|
|
|
| LEADER |
00000naa2a2200000 4500 |
| 001 |
603147 |
| 005 |
20260908145219.0 |
| 035 |
|
|
|a (RuTPU)RU\TPU\conf\296
|
| 090 |
|
|
|a 603147
|
| 100 |
|
|
|a 20131216d2012 k y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 135 |
|
|
|a drnn ---uucaa
|
| 181 |
|
0 |
|a i
|
| 182 |
|
0 |
|a b
|
| 200 |
1 |
|
|a Применение автоматных моделей для тестирования автоматизированных систем управления
|f А. Г. Зебзеев, Д. В. Журавлев
|g науч. рук. Е. И. Громаков
|
| 203 |
|
|
|a Текст
|c электронный
|
| 215 |
|
|
|a 1 файл (505 Кб)
|
| 225 |
1 |
|
|a Автоматизированные системы управления и мехатроника
|
| 300 |
|
|
|a Заглавие с титульного листа.
|
| 320 |
|
|
|a [Библиогр.: с. 48 (5 назв.)]
|
| 330 |
|
|
|a 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
|
| 337 |
|
|
|a Adobe Reader
|
| 463 |
|
1 |
|0 (RuTPU)RU\TPU\conf\61
|t Технологии Microsoft в теории и практике программирования
|o сборник трудов IX Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых, 21-22 марта 2012 г., г.Томск
|f Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики ; отв. ред. А. Р. Вахитов
|v [С. 46-48]
|d 2012
|
| 610 |
1 |
|
|a электронный ресурс
|
| 610 |
1 |
|
|a труды учёных ТПУ
|
| 610 |
1 |
|
|a автоматные модели
|
| 610 |
1 |
|
|a тестирование
|
| 610 |
1 |
|
|a автоматизированные системы управления
|
| 610 |
1 |
|
|a АСУ
|
| 700 |
|
1 |
|a Зебзеев
|b А. Г.
|c специалист в области информатики и вычислительной техники, экономист-менеджер
|c доцент Томского политехнического университета, кандидат технических наук
|f 1987-
|g Алексей Григорьевич
|3 (RuTPU)RU\TPU\pers\47260
|
| 701 |
|
1 |
|a Журавлев
|b Д. В.
|c специалист в области информатики и вычислительной техники
|c инженер Томского политехнического университета
|g Денис Владимирович
|3 (RuTPU)RU\TPU\pers\31336
|
| 702 |
|
1 |
|a Громаков
|b Е. И.
|c специалист в области автоматизированных систем управления
|c доцент Томского политехнического университета, кандидат технических наук
|f 1943-
|g Евгений Иванович
|3 (RuTPU)RU\TPU\pers\25727
|4 727
|
| 712 |
0 |
2 |
|a Томский политехнический университет
|b Институт кибернетики, ИК
|c 2010-2017
|9 27025
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20220622
|g RCR
|
| 856 |
4 |
|
|u http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf
|
| 942 |
|
|
|c BK
|
