Percorrer por assunto Automated people movers
Mostrar 1-3 de um total de 3 resultados.
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 |
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 |