Научная библиотека ТГУ catalog › Results of search for 'su:"временные автоматы"'

1.

Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского

by Кларк, Эдмунд М. младший | Грамберг, Орна | Пелед, Дорон | Смелянский, Руслан Леонидович [edt].

Material type: Text

Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. МЦНМО 2002Other title: Model Checking.Availability: No items available :

2.

	1.	Верификация моделей программ: Model Checking Эдмунд М. Кларк, мл. , Орна Грамберг, Дорон Пелед; Пер. с англ. В. Захаров и др. ; Под ред. Р. Смелянского by Кларк, Эдмунд М. младший \| Грамберг, Орна \| Пелед, Дорон \| Смелянский, Руслан Леонидович [edt]. Material type: Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. МЦНМО 2002Other title: Model Checking.Availability: No items available : Log in to add tags Add to cart (remove)
	2.	No cover image available Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01 Твардовский Александр Сергеевич ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна [ths] \| Томский государственный университет. Material type: Text; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2019Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	3.	No cover image available Derivation of the cascade parallel composition of timed finite state machines using BALM-II M. L. Gromov, N. V. Shabaldina by Gromov, Maxim L \| Shabaldina, Natalia V. Source: Automatic control and computer sciencesMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	4.	No cover image available Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко by Твардовский, Александр Сергеевич \| Громов, Максим Леонидович \| Евтушенко, Нина Владимировна \| Эль-Факи, Калед. Source: Моделирование и анализ информационных системMaterial type: Article; Format: electronic available online Other title: Testing timed nondeterministic finite state machines with the guaranteed fault coverage.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	5.	No cover image available Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов А. С. Твардовский, Н. В. Евтушенко by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна. Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Other title: Solving analysis and synthesis problems for timed finite state machines based on their fsm abstractions.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	6.	No cover image available Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами Н. В. Шабалдина by Шабалдина, Наталия Владимировна \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	7.	No cover image available Минимизация автоматов с таймаутами и временными ограничениями А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна \| Громов, Максим Леонидович. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Other title: Minimizing Finite State Machines with time guards and timeouts.Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	8.	No cover image available Minimizing deterministic timed finite state machines D. Bresolin, A. Tvardovskii, N. V. Yevtushenko [et al.] by Tvardovskii, Aleksandr \| Yevtushenko, Nina V \| Villa, Tiziano \| Gromov, Maxim L \| Bresolin, Davide. Source: IFAC-PapersOnLineMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	No cover image available Параллельная композиция конечных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли by Кондратьева, Ольга Викторовна \| Евтушенко, Нина Владимировна \| Кавалли, Ана Роза \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	10.	No cover image available К минимизации автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко by Твардовский, Александр Сергеевич \| Евтушенко, Нина Владимировна \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	11.	No cover image available К минимизации автоматов с таймаутами А. С. Твардовский by Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	12.	No cover image available Программная реализация преобразования глобального полуавтомата во временной автомат А. П. Сотников by Сотников, Александр Павлович. Source: Труды Четырнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-18 мая 2017 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	13.	No cover image available Conformance relations for finite state machines with timeouts O. Kondratyeva, N. Yevtushenko, A. Cavalli by Kondratyeva, O \| Yevtushenko, Nina V \| Cavalli, Ana Rosa \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	14.	No cover image available О минимизации временных автоматов А. С. Твардовский by Твардовский, Александр Сергеевич. Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	15.	No cover image available Экспериментальное сравнение качества тестов, построенных по UML-диаграммам на основе модели временного автомата Р. Ф. Галимуллин by Галимуллин, Рустам Фанисович \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ. Source: Известия высших учебных заведений. ФизикаMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	16.	No cover image available Решение автоматных уравнений для временных автоматов относительно параллельной композиции О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли by Кондратьева, Ольга Викторовна \| Евтушенко, Нина Владимировна \| Кавалли, Ана Роза \| Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ \| Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: Труды Института системного программирования РАНMaterial type: Article; Format: electronic available online Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	17.	No cover image available Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата А. С. Твардовский by Твардовский, Александр Сергеевич. Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	18.	No cover image available Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде В. С. Белых, Н. В. Шабалдина by Белых, Виталий Сергеевич \| Шабалдина, Наталия Владимировна. Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article; Format: electronic available online ; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)

Scientific Library of Tomsk State University

E-catalog

Refine your search

Availability

Bibliographic level

Authors

Locations

Item types

Topics

База знаний по целевым капиталам

Your search returned 18 results.