Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-8 de um total de 8 resultados (tempo de pesquisa: 0.11 segundos).
DataTítuloAutor(es)TipoAcesso
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
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2023Prototyping with the IVY workbench: bridging formal methods and user-centred designCosta, Rafael Braga da; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C.; Masci, Paolo; Freitas, L.; Di Maria, C.; Whitaker, M.Artigo em ata de conferênciaAcesso aberto
2019High assurance on cyber-physical interactive systemsCouto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2017Implementing a linear algebra approach to data processingPontes, Rogério; Matos, Miguel Ângelo Marques; Oliveira, José Nuno Fonseca; Pereira, JoséArtigo em ata de conferênciaAcesso restrito UMinho
2023AMAN case studyPalanque, Philippe; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2020Software engineering for 'quantum advantage'Barbosa, Luís S.Artigo em ata de conferênciaAcesso aberto
1-8 de um total de 8 resultados (tempo de pesquisa: 0.11 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir