Regular expressions for timed automata

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

Detalhes bibliográficos
Autor principal: Ribeiro, Paulo (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2021
Assuntos:
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
Texto completo:https://hdl.handle.net/1822/79740
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/79740

Texto Completo

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

Registros relacionados