Percorrer por autor 6210 Subscrever estatísticas do autor Autor

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 22-30 de um total de 30 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2014Target oriented relational model findingCunha, Alcino; Macedo, Nuno Filipe Moreira; Guimarães, Tiago Miguel MoreiraArtigo em ata de conferênciaAcesso aberto
2018Teaching how to program using automated assessment and functional glossy games (Experience Report)Almeida, José Bacelar; Cunha, Alcino; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
Set-2018The electrum analyzer: Model checking relational first-order temporal specificationsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
Set-2016Towards a formal validation of ETL patterns behaviourOliveira, Bruno; Belo, Orlando; Macedo, NunoArtigo em ata de conferênciaAcesso restrito autor
2014Towards a framework for multi-directional model transformationsMacedo, Nuno; Cunha, Alcino; Pacheco, HugoArtigo em ata de conferênciaAcesso aberto
2020Validating multiple variants of an automotive light system with electrumCunha, Alcino; Macedo, Nuno; Liu, ChongArtigo em ata de conferênciaAcesso aberto
Mai-2018Validating the hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigo em ata de conferênciaAcesso aberto
2020Validating the Hybrid ERTMS/ETCS level 3 concept with electrumCunha, Alcino; Macedo, NunoArtigoAcesso aberto
2020Verification of system-wide safety properties of ROS applicationsCarvalho, Renato; Cunha, Alcino; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 22-30 de um total de 30 resultados. < anterior