Regular expressions for timed automata

Dissertação de mestrado em Engenharia Física (especialização Física da Informação)

Bibliographic Details
Main Author: Ribeiro, Paulo (author)
Format: masterThesis
Language:eng
Published: 2021
Subjects:
Algorithm
Timed regular expression
Brzozowski's method
Software tool
Algoritmo
Expressões regulares temporais
Método de Brzozowski
Ferramenta de software
Engenharia e Tecnologia::Outras Engenharias e Tecnologias
Online Access:https://hdl.handle.net/1822/79740
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/79740

Internet

https://hdl.handle.net/1822/79740

Similar Items