Применение автоматных моделей для тестирования автоматизированных систем управления; Технологии Microsoft в теории и практике программирования
| Parent link: | Технологии Microsoft в теории и практике программирования.— 2012.— [С. 46-48] |
|---|---|
| প্রধান লেখক: | |
| সংস্থা লেখক: | |
| অন্যান্য লেখক: | , |
| সংক্ষিপ্ত: | Заглавие с титульного листа. 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 |
| ভাষা: | রুশ |
| প্রকাশিত: |
2012
|
| মালা: | Автоматизированные системы управления и мехатроника |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | http://www.lib.tpu.ru/fulltext/c/2012/C28/014.pdf |
| বিন্যাস: | বৈদ্যুতিক গ্রন্থের অধ্যায় |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=603147 |
অনুরূপ উপাদানগুলি
Применение автоматных моделей для тренажного обучения операторов АСУ ТП магистральных газопроводов; Молодежь и современные информационные технологии; Ч. 2
অনুযায়ী: Коломиец А. С.
প্রকাশিত: (2010)
অনুযায়ী: Коломиец А. С.
প্রকাশিত: (2010)
Компетенции тестировщика как критерий качества тестирования ПО; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Зубкова Е. Е.
প্রকাশিত: (2014)
অনুযায়ী: Зубкова Е. Е.
প্রকাশিত: (2014)
Использование нагрузочного тестирования для увеличения производительности приложений в Visual Studio; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Лайком Д. Н. Дмитрий Николаевич
প্রকাশিত: (2013)
অনুযায়ী: Лайком Д. Н. Дмитрий Николаевич
প্রকাশিত: (2013)
ВЕБ-ориентированная платформа лингвистического тестирования студентов с элементами интеллектуальной проверки; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Куземчик В. Д.
প্রকাশিত: (2011)
অনুযায়ী: Куземчик В. Д.
প্রকাশিত: (2011)
Разработка и тестирование автоматизированных систем управления процессами добычи и подготовки нефти на основе временных автоматов; Экспозиция Нефть Газ; № 5
প্রকাশিত: (2012)
প্রকাশিত: (2012)
Разработка приложения для тестирования алгоритмов дискретной оптимизации; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Анненкова А. А.
প্রকাশিত: (2015)
অনুযায়ী: Анненкова А. А.
প্রকাশিত: (2015)
Разработка приложения для профориентационного тестирования абитуриентов на основе техники репертуарных решёток; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Романчуков С. В. Сергей Викторович
প্রকাশিত: (2013)
অনুযায়ী: Романчуков С. В. Сергей Викторович
প্রকাশিত: (2013)
Кн. 6 : Методы синтеза дискретных моделей биологических систем; Методы математической биологии
প্রকাশিত: (1983)
প্রকাশিত: (1983)
Лингвистическое обеспечение автоматизированных систем: учебное пособие
অনুযায়ী: Заболеева-Зотова А. В. Алла Викторовна
প্রকাশিত: (Москва, Высшая школа, 2008)
অনুযায়ী: Заболеева-Зотова А. В. Алла Викторовна
প্রকাশিত: (Москва, Высшая школа, 2008)
ACTV TEST; Технологии Microsoft в теории и практике программирования
প্রকাশিত: (2010)
প্রকাশিত: (2010)
Интегрированная АСУ автоматизированных производств: Сб. науч. тр.
প্রকাশিত: (Москва, 1992)
প্রকাশিত: (Москва, 1992)
Безударное управление переключением магистральных насосов; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Смовж В. А.
প্রকাশিত: (2014)
অনুযায়ী: Смовж В. А.
প্রকাশিত: (2014)
Автоматизированная система управления стендами тестирования погружного электрооборудования; Современные технологии автоматизации; № 3
অনুযায়ী: Комелин А.
প্রকাশিত: (2004)
অনুযায়ী: Комелин А.
প্রকাশিত: (2004)
Надежность и устройства автоматизированных систем управления
প্রকাশিত: (Киев, Наукова думка, 1971)
প্রকাশিত: (Киев, Наукова думка, 1971)
Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов
অনুযায়ী: Золкин А. Л.
প্রকাশিত: (Санкт-Петербург, Лань, 2025)
অনুযায়ী: Золкин А. Л.
প্রকাশিত: (Санкт-Петербург, Лань, 2025)
Upgrading automatic control system of inhibitor inflow; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Kochetygov I. S.
প্রকাশিত: (2014)
অনুযায়ী: Kochetygov I. S.
প্রকাশিত: (2014)
Применение автоматного программирования в автоматизированных системах нефтегазовой отрасли; Современные техника и технологии; Т. 2
অনুযায়ী: Зебзеев А. Г. Алексей Григорьевич
প্রকাশিত: (2009)
অনুযায়ী: Зебзеев А. Г. Алексей Григорьевич
প্রকাশিত: (2009)
Преобразования оптимизационных моделей в задачах управления и проектирования АСУ ТП
অনুযায়ী: Кривенко В. А. Валерий Андреевич
প্রকাশিত: (Фрунзе, Илим, 1989)
অনুযায়ী: Кривенко В. А. Валерий Андреевич
প্রকাশিত: (Фрунзе, Илим, 1989)
Основы автоматизации системы управления: построение автоматизированных систем управления ПВО
অনুযায়ী: Романов А. Н.
প্রকাশিত: (Москва, Воениздат, 1971)
অনুযায়ী: Романов А. Н.
প্রকাশিত: (Москва, Воениздат, 1971)
Вопросы теории и практики автоматизированных систем управления технологическими процессами
প্রকাশিত: (Алма-Ата, Казахстан, 1979)
প্রকাশিত: (Алма-Ата, Казахстан, 1979)
Проектирование автоматизированных систем управления
অনুযায়ী: Тугов В. В.
প্রকাশিত: (Санкт-Петербург, Лань, 2022)
অনুযায়ী: Тугов В. В.
প্রকাশিত: (Санкт-Петербург, Лань, 2022)
Модель информационной системы для поддержки социальных исследований; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Ковригина Т. С.
প্রকাশিত: (2016)
অনুযায়ী: Ковригина Т. С.
প্রকাশিত: (2016)
Тезаурус в автоматизированных системах управления и обработки информации
অনুযায়ী: Шемакин Ю. И. Юрий Иванович
প্রকাশিত: (Москва, Воениздат, 1974)
অনুযায়ী: Шемакин Ю. И. Юрий Иванович
প্রকাশিত: (Москва, Воениздат, 1974)
Способ программной интеграции автоматизированных информационно-телекоммуникационных систем с центром обслуживания звонков; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Сонькин Д. М. Дмитрий Михайлович
প্রকাশিত: (2010)
অনুযায়ী: Сонькин Д. М. Дмитрий Михайлович
প্রকাশিত: (2010)
Вып. 10: Методы и модели современного программирования; Системная информатика
প্রকাশিত: (2006)
প্রকাশিত: (2006)
Автоматизированная система тестирования качества обучения "Эмпирик"; Современные техника и технологии; Т. 3
অনুযায়ী: Лепустин А. В. Алексей Владимирович
প্রকাশিত: (2008)
অনুযায়ী: Лепустин А. В. Алексей Владимирович
প্রকাশিত: (2008)
Применение автоматизированных систем для управления воздушным движением: учебное пособие для вузов
প্রকাশিত: (Москва, Транспорт, 1979)
প্রকাশিত: (Москва, Транспорт, 1979)
Параллельные логические вычисления посредством арифметических полиномов
অনুযায়ী: Малюгин В. Д. Владимир Дмитриевич
প্রকাশিত: (Москва, Наука, 1997)
অনুযায়ী: Малюгин В. Д. Владимир Дмитриевич
প্রকাশিত: (Москва, Наука, 1997)
Теория языков и языковых процессоров учебник для вузов
অনুযায়ী: Шорников Ю. В.
প্রকাশিত: (Санкт-Петербург, Лань, 2024)
অনুযায়ী: Шорников Ю. В.
প্রকাশিত: (Санкт-Петербург, Лань, 2024)
Анализ вычислительной нагрузки различных типов цифровых регуляторов в автоматизированных системах управления; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Тутов И. А. Иван Андреевич
প্রকাশিত: (2013)
অনুযায়ী: Тутов И. А. Иван Андреевич
প্রকাশিত: (2013)
Синтез, исследование и применение рекуррентных алгоритмов оценивания параметров математических моделей объектов в автоматизированных системах управления: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.06
অনুযায়ী: Карелин А. Е. Алексей Евгеньевич
প্রকাশিত: (Томск, [Б. и.], 2007)
অনুযায়ী: Карелин А. Е. Алексей Евгеньевич
প্রকাশিত: (Томск, [Б. и.], 2007)
Windows Azure cloud computing platform for assessing the competence of it-specialists; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Kolchanov A. V.
প্রকাশিত: (2012)
অনুযায়ী: Kolchanov A. V.
প্রকাশিত: (2012)
Методы разработки автоматизированных систем управления
অনুযায়ী: Мамиконов А. Г. Акоп Гаспарович
প্রকাশিত: (Москва, Энергия, 1973)
অনুযায়ী: Мамиконов А. Г. Акоп Гаспарович
প্রকাশিত: (Москва, Энергия, 1973)
Применение тренажеров и моделирующих комплексов для разработки АСУ ТП АЭС; Атомная техника за рубежом; № 5
অনুযায়ী: Малкин С. Д.
প্রকাশিত: (2002)
অনুযায়ী: Малкин С. Д.
প্রকাশিত: (2002)
Справочник проектировщика автоматизированных систем управления технологическими процессами
প্রকাশিত: (Москва, Машиностроение, 1983)
প্রকাশিত: (Москва, Машиностроение, 1983)
Основы тестирования программного обеспечения: учебное пособие
অনুযায়ী: Котляров В. П. Всеволод Павлович
প্রকাশিত: (Москва, БИНОМ. Лаборатория знаний, 2016)
অনুযায়ী: Котляров В. П. Всеволод Павлович
প্রকাশিত: (Москва, БИНОМ. Лаборатория знаний, 2016)
Программа синтеза тестов конечно-автоматными методами "FSMTest-1.0": Электронный ресурс; программа для ЭВМ; Рег. номер: 2014661807, 13.11.14
প্রকাশিত: ()
প্রকাশিত: ()
Теория автоматов: учебник
অনুযায়ী: Карпов Ю. Г. Юрий Глебович
প্রকাশিত: (СПб., Питер, 2003)
অনুযায়ী: Карпов Ю. Г. Юрий Глебович
প্রকাশিত: (СПб., Питер, 2003)
Надежность программного обеспечения АСУ
অনুযায়ী: Липаев В. В. Владимир Васильевич
প্রকাশিত: (Москва, Энергоиздат, 1981)
অনুযায়ী: Липаев В. В. Владимир Васильевич
প্রকাশিত: (Москва, Энергоиздат, 1981)
Обеспечение безопасности системы управления сетью; Технологии Microsoft в теории и практике программирования
অনুযায়ী: Исхаков А. Ю.
প্রকাশিত: (2011)
অনুযায়ী: Исхаков А. Ю.
প্রকাশিত: (2011)