Mostrar 1-4 de um total de 4 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
Out-2017 | Composing Families of Timed Automata | Cledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S. | 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 |
2018 | A taxonomy for planning and designing smart mobility services | Cledou, Guillermina; Estevez, Elsa; Barbosa, L. S. | Artigo | Acesso aberto |
16-Mai-2014 | Understanding students' mobility habits towards the implementation of an adaptive ubiquitous platform | Casal, João Afonso Vieira; Cledou, Guillermina | Artigo em ata de conferência | Acesso aberto |