Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2012 | An approach to model checking Ada programs | Faria, José Miguel; Martins, J.; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
2011 | Hybrid specification of reactive systems: an institutional approach | Madeira, A.; Faria, José Miguel; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
2011 | On requirements engineering for reactive systems: a formal methodology | Madeira, A.; Faria, José Miguel; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |