Data | Título | Autor(es) | Tipo | Acesso |
Out-2011 | A dependable automated people mover system modeled and verified using timed automata : a case study | Kunz, Guilherme; Perondi, Eduardo; Machado, José Mendes | Artigo em ata de conferência | Acesso aberto |
2017 | A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements | Kunz, Guilherme; Machado, José; Perondi, Eduardo, et al. | Artigo | Acesso restrito autor |
Jul-2011 | Modeling and simulating the controller behavior of an automated people mover using IEC 61850 communication requirements | Kunz, Guilherme; Perondi, Eduardo; Machado, José Mendes | Artigo em ata de conferência | Acesso aberto |
Jul-2011 | Modeling and simulation of IEC 61850 requirements applied to an automated people mover's controller | Kunz, Guilherme; Machado, José Mendes; Perondi, Eduardo | 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 |