Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов	400 KB	Adobe Acrobat PDF	Read	Download

Title: Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов
Title: Experimental comparison of equivalence checking methods for extended automata
Creator: Лапутенко, Андрей Владимирович
|
Винарский, Евгений Максимович
|
Твардовский, Александр Сергеевич
Date: 2022

Relationships: Show Relationship Browser for this Object
collection(s): Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) | Радиофизический факультет
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в сборниках
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75
Language: rus

Created: 18-01-2023

384 Visitors

262 Hits

128 Downloads

Институт прикладной математики и компьютерных наук (c 01.09.2017 г.) Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов