Scientific Library of Tomsk State University

   Digital catalogue        

Refine your search


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

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 168 results.

    1.
    Some classes of finite state machines with polynomial length of distinguishing test cases H. Yenigün, N. Yevtushenko, N. Kushik

    by Yenigün, Hüsnü | Yevtushenko, Nina V | Kushik, Natalia G.

    Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 04-08, 2016Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    2.
    Refining the specification FSM when deriving test suites w.r.t. the reduction relation A. Tvardovskii

    by Tvardovskii, Aleksandr.

    Source: Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedingsMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    3.
    FSMTest-1.0: a manual for researches N. Shabaldina, M. Gromov

    by Shabaldina, Natalia V | Gromov, Maxim L | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2015), Batumi, Georgia, September 26-29, 2015Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    4.
    Efficient FPGA implementation of a reconfigurable FSM based on substitutions S. I. Razenkov

    by Razenkov, S. I.

    Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    5.
    FSM-based sequential circuits optimization by changing initial state of specification M. L. Gromov, N. V. Shabaldina, A. Tvardovskii, S. A. Prokopenko

    by Gromov, Maxim L | Shabaldina, Natalia V | Tvardovskii, Aleksandr | Prokopenko, Svetlana A.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, September 10 – 13, 2021Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    6.
    A practical approach for testing timed deterministic finite state machines with single clock K. El-Fakih, N. Yevtushenko, A. Simao

    by El-Fakih, Khaled | Yevtushenko, Nina V | Simao, Adenilso da Silva | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Science of Computer ProgrammingMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    7.
    The unknown component problem theory and applications Tiziano Villa, Nina Yevtushenko, Robert K. Brayton [a. o.]

    by Villa, Tiziano | Brayton, Robert K | Yevtushenko, Nina V.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: New York [a. o.] Springer 2012Availability: Items available for loan: (1).
    8.
    Testing microcontroller based physical systems using finite transition models L. A. Laputenko, T. D. Petukhov, N. A. Vasnev

    by Laputenko, Andrey V | Petukhov, Timofey D | Vasnev, Nikolai A.

    Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    9.
    FSM-based testing from user defined faults adapted to incremental and mutation testing K. A. El-Fakih, R. Dorofeeva, N. V. Yevtushenko, G. V. Bochmann

    by Dorofeeva, R | Yevtushenko, Nina V | Bochmann, G. V | El-Fakih, Khaled | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Programming and computer softwareMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    10.
    Оценка кратности выходного символа в обратимом автомате Д. А. Катеринский

    by Катеринский, Денис Аркадьевич | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра защиты информации и криптографии.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    11.
    Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов А. С. Твардовский, Н. Г. Кушик

    by Твардовский, Александр Сергеевич | Кушик, Наталья Геннадьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    12.
    On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko

    by Kushik, Natalia G | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ.

    Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    13.
    Improving protocol passive testing through "Gedanken" experiments with finite state machines N. Kushik, J. López, A. Cavalli, N. Yevtushenko

    by Kushik, Natalia G | Cavalli, Ana Rosa | Yevtushenko, Nina V | López, Jorge.

    Source: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 1-3 August 2016, Vienna, AustriaMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    14.
    On using finite state machines for optimization and testing of SDN controllers A. Berriri, N. G. Kushik, D. Zeghlache

    by Berriri, A | Kushik, Natalia G | Zeghlache, D.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    15.
    Pseudo-exhaustive testing of sequential circuits for multiple stuck-at faults A. Matrosova, E. Mitrofanov

    by Matrosova, Anzhela Yu | Mitrofanov, Evgenii V.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    16.
    Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs N. Kushik, N. Yevtushenko, H. Yenigün

    by Kushik, Natalia G | Yevtushenko, Nina V | Yenigün, Hüsnü.

    Source: Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2016), 19 February, 2016, Rome, ItalyMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    17.
    Checking robustness of web services based on the parallel composition of partial timed finite state machines E. Shirokova

    by Shirokova, Ekaterina.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    18.
    Using models of finite transition systems for checking Web-service security A. V. Kolomeets, N. V. Shabaldina, E. V. Darusenkova, N. V. Yevtushenko

    by Shabaldina, Natalia V | Darusenkova, Ekaterina V | Yevtushenko, Nina V | Kolomeets, Anton V.

    Source: 18th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices : proceedings, Erlagol, Altai Republic, 29 June - 3 July, 2017Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    19.
    Testing components of interacting timed finite state machines M. Gromov, A. Tvardovskii, N. Yevtushenko

    by Gromov, Maxim L | Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    20.
    Homing sequence derivation with quantified boolean satisfiability H.-E. Wang, K.-H. Tu, J.-H. R. Jiang, N. Kushik

    by Wang, Hung-En | Tu, Kuan-Hua | Jiang, Jie-Hong R | Kushik, Natalia G.

    Source: Testing software and systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedingsMaterial type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    21.
    Adaptive homing sequences for partial weakly-initialized observable FSMs E. Vinarskii, A. Tvardovskii, N. V. Yevtushenko

    by Vinarskii, Evgenii | Tvardovskii, Aleksandr | Yevtushenko, Nina V.

    Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    22.
    Сведение решения системы параллельных автоматных неравенств к решению одного неравенства Е. В. Дарусенкова

    by Дарусенкова, Екатерина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    23.
    Об обратимости конечных автоматов с конечной задержкой Д. А. Катеринский

    by Катеринский, Денис Аркадьевич | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    24.
    Cryptautomata: definition, cryptanalysis, example G. P. Agibalov

    by Agibalov, G. P, 1939-2020.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    25.
    О сложности проверки существования установочных последовательностей для недетерминированных автоматов Н. Г. Кушик, В. В. Кулямин, Н. В. Евтушенко

    by Кушик, Наталья Геннадьевна | Кулямин, Виктор Вячеславович | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    26.
    Experiments on parallel composition of timed finite state machines A. P. Sotnikov, N. V. Shabaldina, M. L. Gromov

    by Sotnikov A. P | Shabaldina, Natalia V | Gromov, Maxim L.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Эксперименты no построению параллельной композиции временных автоматов.Online access: Click here to access online Availability: No items available :
    27.
    Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs I. Hwang, N. V. Yevtushenko, A. Cavalli

    by Hwang, Iksoon | Yevtushenko, Nina V | Cavalli, Ana Rosa | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Information processing lettersMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    28.
    Определение временных характеристик автомата, описывающего систему "Микроконтроллер-программа" Ю. Д. Бабенко, М. Л. Громов

    by Бабенко, Юрий Дмитриевич | Громов, Максим Леонидович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    29.
    К определению понятия самосинхронизирующегося поточного шифра И. В. Панкратов

    by Панкратов, И. В.

    Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    30.
    Fault-tolerant synchronous FSM network design for path delay faults S. A. Ostanin, V. V. Andreeva, N. B. Butorina, D. Tretyakov

    by Andreeva, V. V | Butorina, Natalia B | Tretyakov, D | Ostanin, Sergey A.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2018), Kazan, Russia, September 14-17, 2018Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    31.
    Deriving tests with guaranteed fault coverage for finite state machines with timeouts A. Tvardovskii, K. El-Fakih, N. V. Yevtushenko

    by Tvardovskii, Aleksandr | El-Fakih, Khaled | Yevtushenko, Nina V.

    Source: Testing software and systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    32.
    Шифр на основе отображения Эно В. Г. Скобелев, О. В. Тубольцева

    by Скобелев, В. Г | Тубольцева, О. В.

    Source: Доклады IV Сибирской научной школы-семинара с международным участием "Проблемы компьютерной безопасности и криптография" - SYBECRYPT'05 (Томск, ТГУ, 6-9 сентября 2005 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    33.
    К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов А. Н. Михайлова, В. С. Болтова, С. А. Прокопенко, Н. В. Шабалдина

    by Болтова, Виктория Сергеевна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна | Михайлова, Александра Николаевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    34.
    Finite automata and application to cryptography Electronic resource Renji Tao

    by Tao, Renji.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: [Beijing a. o. Tsinghua University Press a. o. 2008]Online access: Click here to access online Availability: No items available :
    35.
    Тестирование в контексте для реализации протокола TCP на основе автоматных моделей Н. М. Щипачев, Н. Г. Кушик

    by Щипачев, Никита Михайлович | Кушик, Наталья Геннадьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    36.
    Testing digital circuits: studying the increment of the number of states and estimating the fault coverage E. Vinarskii, A. Laputenko, J. López, N. G. Kushik

    by Laputenko, Andrey V | López, Jorge | Kushik, Natalia G | Vinarskii, Evgenii.

    Source: 19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), Erlagol, Altai Republic, 29 June - 3 July, 2018 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    37.
    Решение автоматного уравнения для многомодульной композиции С. В. Жарикова, Н. В. Евтушенко

    by Жарикова, С. В | Евтушенко, Нина Владимировна.

    Source: Доклады VI Сибирской научной школы-семинара с международным участием "Компьютерная безопасность и криптография"- SIBECRYPT' 07 (Республика Алтай, Горно-Алтайск, ГАГУ, 4-7 сентября 2007 г.)Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    38.
    Создание информационной системы "Автоматы" Г. Г. Сапунков, М. В. Ветрова

    by Сапунков, Глеб Г | Ветрова, Мария Викторовна | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    39.
    О минимизации временных автоматов А. С. Твардовский

    by Твардовский, Александр Сергеевич.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    40.
    Параллельная композиция конечных автоматов с таймаутами О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли

    by Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    41.
    Synchronizing sequences for effective network monitoring: an application to TCP M. Suhopluev, N. Schipachev, J. López, N. Kushik

    by Suhopluev, M | López, Jorge | Kushik, Natalia G | Schipachev, N.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    42.
    Использование свойств мутационных автоматов для минимизации проверяющих тестов К. Эль-Факи, Н. В. Евтушенко, М. Ю. Дорофеева

    by Эль-Факи, Калед | Евтушенко, Нина Владимировна | Дорофеева, Маргарита Юрьевна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: ПрограммированиеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    43.
    Applying a model based testing approach for testing the communication protocol between the cash register software and the Loymax service M. S. Forostyanova, N. V. Shabaldina, N. V. Yevtushenko

    by Forostyanova, Maria S | Shabaldina, Natalia V | Yevtushenko, Nina V.

    Source: 2017 International Siberian Conference on Control and Communications (SIBCON), Kazakhstan, Astana, June 29-30, 2017 : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    44.
    К минимизации автоматов с таймаутами А. С. Твардовский

    by Твардовский, Александр Сергеевич | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    45.
    Применение конечного автомата для одновременного поиска нескольких двоичных шаблонов в потоке данных И. В. Панкратов

    by Панкратов, Иван Владимирович | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Прикладная дискретная математика. ПриложениеMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    46.
    Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов М. В. Жигулин, С. А. Прокопенко, Н. В. Евтушенко

    by Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Научные подразделения РФФ | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.)Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    47.
    On the fault coverage of high-level test derivation methods for digital circuits J. López, E. Vinarsky, A. Laputenko

    by López, Jorge | Vinarskii, Evgenii | Laputenko, Andrey V.

    Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    48.
    Тестирование системы автоматов И. Б. Бурдонов, А. С. Косачев

    by Бурдонов, Игорь Борисович | Косачев, Александр Сергеевич.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Testing of automata system.Online access: Click here to access online Availability: No items available :
    49.
    Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями А. С. Твардовский, Н. В. Евтушенко

    by Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    50.
    Проверка свойств конечных автоматов с помощью набора инструментов mCRL2 М. Л. Громов, А. В. Лапутенко

    by Громов, Максим Леонидович | Лапутенко, Андрей Владимирович | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Публикации студентов и аспирантов РФФ.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :