Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 215 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Jan-2014SABS : Spark ABStraction - A TutorialMiraldo, Victor CacciariRelatórioAcesso aberto
2012A case study on model checking and deductive verification techniques of safety-critical softwareSilva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2015An ORCID based synchronization framework for a national CRIS ecosystemMoreira, João Mendes; Cunha, Alcino; Macedo, Nuno Filipe MoreiraArtigoAcesso aberto
2013Sensorization and intelligent systems in energetic sustainable environmentsSilva, Fábio; Analide, Cesar; Neves, José; Marques, José; Cuevas, DavidArtigo em ata de conferênciaAcesso aberto
2015Prototyping teams of affective agents in robocodeRebelo, António; Catalão, Fábio; Alves, João; Marreiros, Goreti; Analide, Cesar; Novais, Paulo; Neves, JoséArtigoAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigo em ata de conferênciaAcesso aberto
2013Ambient sensorization for the furtherance of sustainabilitySilva, Fábio; Analide, Cesar; Rosa, Luís; Felgueiras, Gilberto; Pimenta, CedricArtigo em ata de conferênciaAcesso aberto
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe; Pinto, Jorge Sousa; Vieira, Bárbara Isabel SousaArtigoAcesso aberto
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 215 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir