Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 15 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigoAcesso aberto
2010Abordagem sistemática para o controlo seguro de sistemas aeroespaciaisBorges, Paulo André Mendes; Machado, José; Ferreira, João Amaro Oliveira; Campos, J. Creissac; Villani, EmiliaArtigo em ata de conferênciaAcesso aberto
Set-2016Formal verification with Frama-C: a case study in the space software domainSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi; Oliveira, Jose Maria Parente de; Pinto, Jorge SousaArtigoAcesso restrito UMinho
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
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas; Curzon, PaulArtigo em ata de conferênciaAcesso aberto
Abr-2016Formal verification of a space system's user Interface with the IVY workbenchCampos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue; Harrison, Michael douglasArtigoAcesso aberto
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel; Krenn, Stephan; Sadeghi, Ahmad-Reza; Schneider, ThomasArtigo em ata de conferênciaAcesso aberto
2014Development of dependable controllers in the context of machines designMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio; Pinto, Jorge SousaResumo em ata de conferência Acesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C.; Curzon, P.ArtigoAcesso aberto
1-10 de um total de 15 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir