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.046 segundos).
DataTítuloAutor(es)TipoAcesso
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
21-Jun-2016Systematic automation of scenario-based testing of user interfacesCampos, José C.; Fayollas, Camille; Martinie, Célia; Navarre, David; Palanque, Philippe; Pinto, MiguelArtigo 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
2019High assurance on cyber-physical interactive systemsCouto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2008Considering context and users in interactive systems analysisCampos, J. Creissac; Harrison, Michael D.Artigo em ata de conferênciaAcesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2013Uma abordagem para a geração de casos de teste baseada em modelosSilva, João C.; Silva, José Luís Cardoso; Campos, J. Creissac; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso restrito UMinho
2023AMAN case studyPalanque, Philippe; Campos, José C.Artigo em ata de conferênciaAcesso embargado (6 Meses)
1-8 de um total de 8 resultados (tempo de pesquisa: 0.046 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir