Тестирование программной реализации протокола IRC на основе модели расширенного автомата; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 318, № 5 : Управление, вычислительная техника и информатика.— 2011.— [С. 81-84] |
|---|---|
| Other Authors: | Жигулин М. В., Коломеец А. В., Кушик Н. Г., Шабалдин А. В. |
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Рассматривается тестирование программной реализации ngIRCd телекоммуникационного протокола IRC на основе теста, построенного по модели расширенного автомата. Компьютерные эксперименты иллюстрируют эффективность предложенного подхода. |
| Language: | Russian |
| Published: |
2011
|
| Series: | Управление, вычислительная техника и информатика |
| Subjects: | |
| Online Access: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2011/v318/i5/17.pdf |
| Format: | Electronic Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=199176 |
Similar Items
Программирование скоординированных перемещений двух роботов-манипуляторов на базе коллаборативного робота IRB14000 (YuMi) учебное пособие
by: Серебренный В. В.
Published: (Москва, МГТУ им. Н.Э. Баумана, 2019)
by: Серебренный В. В.
Published: (Москва, МГТУ им. Н.Э. Баумана, 2019)
Аськи, Ирки, чаты и другие пейджинговые программы Интернета
by: Ломакин П. А. Павел Александрович
Published: (Москва, Майор, 2003)
by: Ломакин П. А. Павел Александрович
Published: (Москва, Майор, 2003)
Генерация кода на основе детерминированного конечного автомата; Молодежь и современные информационные технологии
by: Гительман В. С.
Published: (2022)
by: Гительман В. С.
Published: (2022)
Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика
by: Жигулин М. В.
Published: (2009)
by: Жигулин М. В.
Published: (2009)
Синтез и тестирование дискретных систем: учебное пособие
by: Буркатовская Ю. Б. Юлия Борисовна
Published: (Томск, Изд-во ТПУ, 2012)
by: Буркатовская Ю. Б. Юлия Борисовна
Published: (Томск, Изд-во ТПУ, 2012)
Совершенствование алгоритма OSTIA для обучения трансдукторов; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика
by: Малахов Э. В. Эдуард Владимирович
Published: (2011)
by: Малахов Э. В. Эдуард Владимирович
Published: (2011)
Технологии сети интернет: протоколы и сервисы: учебное пособие
by: Комагоров В. П. Владимир Петрович
Published: (Томск, Изд-во ТПУ, 2009)
by: Комагоров В. П. Владимир Петрович
Published: (Томск, Изд-во ТПУ, 2009)
Конечноавтоматные системы управления (принципы построения и анализ поведения)
by: Новорусский В. В. Валерий Владимирович
Published: (Новосибирск, Наука, 1982)
by: Новорусский В. В. Валерий Владимирович
Published: (Новосибирск, Наука, 1982)
Синтез и тестирование дискретных устройств: учебное пособие
by: Буркатовская Ю. Б. Юлия Борисовна
Published: (Томск, Изд-во ТПУ, 2012)
by: Буркатовская Ю. Б. Юлия Борисовна
Published: (Томск, Изд-во ТПУ, 2012)
Теоретические основы проектирования компиляторов: пер. с англ.
by: Льюис Ф. Филип
Published: (Москва, Мир, 1979)
by: Льюис Ф. Филип
Published: (Москва, Мир, 1979)
Вычислительная и микропроцессорная техника учебное пособие
by: Неелова О. Л.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2020)
by: Неелова О. Л.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2020)
Логические эксперименты с автоматами
by: Твердохлебов В. А. Владимир Александрович
Published: (Саратов, Изд-во Саратовского ун-та, 1988)
by: Твердохлебов В. А. Владимир Александрович
Published: (Саратов, Изд-во Саратовского ун-та, 1988)
Теория автоматов: учебник для бакалавриата и магистратуры
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2019)
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Юрайт, 2019)
Математические модели автоматов и формальных языков в сфере искусственного интеллекта учебное пособие для вузов
by: Золкин А. Л.
Published: (Санкт-Петербург, Лань, 2025)
by: Золкин А. Л.
Published: (Санкт-Петербург, Лань, 2025)
Введение в методы трансляции учебное пособие
by: Двоенко С. Д.
Published: (Тула, ТулГУ, 2024)
by: Двоенко С. Д.
Published: (Тула, ТулГУ, 2024)
Вып. 25: Проблемы оптимизации дискретных систем; Вычислительная техника и вопросы кибернетики
Published: (1990)
Published: (1990)
Теория автоматов: учебник
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2003)
by: Карпов Ю. Г. Юрий Глебович
Published: (СПб., Питер, 2003)
Т. 3; Криптографические методы защиты информации
Published: (2014)
Published: (2014)
Ориентированные графы и конечные автоматы
by: Мелихов А. Н. Аскольд Николаевич
Published: (Москва, Наука, 1971)
by: Мелихов А. Н. Аскольд Николаевич
Published: (Москва, Наука, 1971)
Создание игровой логики. Практикум учебное пособие для вузов
by: Капанов А. А.
Published: (Санкт-Петербург, Лань, 2023)
by: Капанов А. А.
Published: (Санкт-Петербург, Лань, 2023)
Лекции по теории экспериментов с конечными автоматами: учебное пособие
by: Сперанский Д. В. Дмитрий Васильевич
Published: (Москва, Интернет-Университет информационных технологий, 2010)
by: Сперанский Д. В. Дмитрий Васильевич
Published: (Москва, Интернет-Университет информационных технологий, 2010)
Апериодические автоматы
Published: (Москва, Наука, 1976)
Published: (Москва, Наука, 1976)
Проектирование автоматизированных систем учеб. пособие
by: Петров А. М.
Published: (Норильск, ЗГУ им. Н.М. Федоровского, 2023)
by: Петров А. М.
Published: (Норильск, ЗГУ им. Н.М. Федоровского, 2023)
Логические устройства и их применение в автоматике: учебное пособие
by: Громаков Е. И. Евгений Иванович
Published: (Томск, Изд-во ТПИ, 1982)
by: Громаков Е. И. Евгений Иванович
Published: (Томск, Изд-во ТПИ, 1982)
Дискретная математика: теория автоматов
by: Овчаренко А. Ю.
Published: (Новосибирск, СибГУТИ, 2021)
by: Овчаренко А. Ю.
Published: (Новосибирск, СибГУТИ, 2021)
Эквивалентные представления дискретных устройств
by: Аскеров Ч. И. Чингиз Исфендияр
Published: (Москва, Энергия, 1978)
by: Аскеров Ч. И. Чингиз Исфендияр
Published: (Москва, Энергия, 1978)
Задачник по курсу "Математическая лингвистика и теория автоматов учебное пособие для вузов
by: Короткова М. А.
Published: (Москва, НИЯУ МИФИ, 2012)
by: Короткова М. А.
Published: (Москва, НИЯУ МИФИ, 2012)
Автоматная теория случайного поиска: монография
by: Растригин Л. А. Леонард Андреевич
Published: (Рига, Зинатне, 1973)
by: Растригин Л. А. Леонард Андреевич
Published: (Рига, Зинатне, 1973)
Основы логического проектирования: учебное пособие
by: Колдаев В. Д. Виктор Дмитриевич
Published: (Москва, Форум, 2011)
by: Колдаев В. Д. Виктор Дмитриевич
Published: (Москва, Форум, 2011)
Конечные автоматы: эквивалентность и поведение
Published: (Москва, Наука, 1984)
Published: (Москва, Наука, 1984)
Применение клеточного автомата в продукционной экспертной системе; Известия Томского политехнического университета [Известия ТПУ]; Т. 311, № 5 : Управление, вычислительная техника и информатика
by: Стоянов А. К. Александр Кириллович
Published: (2007)
by: Стоянов А. К. Александр Кириллович
Published: (2007)
Введение в теорию абстрактных автоматов: учебное пособие для университетов
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Изд-во МГУ, 1985)
by: Кудрявцев В. Б. Валерий Борисович
Published: (Москва, Изд-во МГУ, 1985)
Вероятностные автоматы
by: Бухараев Р. Г. Раис Гатич
Published: (Казань, Казанский университет, 1977)
by: Бухараев Р. Г. Раис Гатич
Published: (Казань, Казанский университет, 1977)
Лекции по конструированию компиляторов: учебное пособие
by: Серебряков В. А.
Published: (Москва, Вычислительный центр РАН, 1994)
by: Серебряков В. А.
Published: (Москва, Вычислительный центр РАН, 1994)
Теория цифроаналогового синтеза частот с помощью конечных автоматов
by: Никитин Ю. А.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2024)
by: Никитин Ю. А.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2024)
Комбинаторно-алгебраические методы в прикладной математике: межвузовский сборник
Published: (Горький, Изд-во ГГУ, 1983)
Published: (Горький, Изд-во ГГУ, 1983)
Вып. 24: Математические проблемы информатики; Вычислительная техника и вопросы кибернетики
Published: (1987)
Published: (1987)
Анализ работы автомата-перекоса вертолёта; Современные проблемы машиностроения
by: Бугаёва А. Н.
Published: (2019)
by: Бугаёва А. Н.
Published: (2019)
Введение в теорию автоматов, языков и вычислений: пер. с англ.
by: Хопкрофт Дж. Джон
Published: (Москва, Вильямс, 2002)
by: Хопкрофт Дж. Джон
Published: (Москва, Вильямс, 2002)
Введение в теорию конечных автоматов: пер. с англ.
by: Гилл А. Артур
Published: (Москва, Наука, 1966)
by: Гилл А. Артур
Published: (Москва, Наука, 1966)
Similar Items
-
Программирование скоординированных перемещений двух роботов-манипуляторов на базе коллаборативного робота IRB14000 (YuMi) учебное пособие
by: Серебренный В. В.
Published: (Москва, МГТУ им. Н.Э. Баумана, 2019) -
Аськи, Ирки, чаты и другие пейджинговые программы Интернета
by: Ломакин П. А. Павел Александрович
Published: (Москва, Майор, 2003) -
Генерация кода на основе детерминированного конечного автомата; Молодежь и современные информационные технологии
by: Гительман В. С.
Published: (2022) -
Оценка полноты проверки при пассивном тестировании на основе автоматной модели; Известия Томского политехнического университета [Известия ТПУ]; Т. 314, № 5: Управление, вычислительная техника и информатика
by: Жигулин М. В.
Published: (2009) -
Синтез и тестирование дискретных систем: учебное пособие
by: Буркатовская Ю. Б. Юлия Борисовна
Published: (Томск, Изд-во ТПУ, 2012)