Data | Título | Autor(es) | Tipo | Acesso |
2023 | Adding records to alloy | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | CaVa<sup>DSL</sup>: Virtual learning spaces formal specification | Martini, Ricardo Giuliani; Henriques, Pedro Rangel | Artigo em ata de conferência | Acesso aberto |
1996 | Context sensitive user interfaces | Campos, J. Creissac; Martins, F. Mário | Artigo em ata de conferência | Acesso aberto |
1999 | Formal description technique SDL for manufacturing systems specification and description | Sousa, Rui M.; Putnik, Goran D. | Artigo em ata de conferência | Acesso aberto |
2000 | Production modelling as shell programming: concurrency and delegation | Tomasz Janowski; Moreira, Francisco; Sousa, Rui M. | Artigo | Acesso restrito UMinho |
1998 | Using formal description technique ESTELLE for manufacturing systems specification or description | Sousa, Rui M.; Putnik, Goran D.; Moreira, Francisco | Artigo | Acesso aberto |
2020 | Validating the Hybrid ERTMS/ETCS level 3 concept with electrum | Cunha, Alcino; Macedo, Nuno | Artigo | Acesso aberto |