Percorrer por assunto Timed automata
Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2015 | Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizados | Galvão, Joel Maurício Rocha | Dissertação de mestrado | Acesso aberto |
2010 | Model-checking temporal properties of real-time HTL programs | Carvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al. | Artigo em ata de conferência | Acesso aberto |
2017 | Modeling families of public licensing services: a case study | Cledou, Maria Guillermina; Barbosa, Luís Soares | Artigo em ata de conferência | Acesso aberto |
Nov-2017 | A refinement relation for families of timed automata | Cledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2017 | Using timed automata for modeling, simulating and verifying networked systems controller's specifications | Kunz, Guilherme; Machado, José; Perondi, Eduardo | Artigo | Acesso restrito UMinho |