Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 75 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
Abr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011FlexiXML : a portable user interface rendering engine for UsiXMLCampos, J. Creissac; Mendes, SandrineArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo 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
2016Welcome to EICS 2016Luyten, Kris; Palanque, Philippe; Campos, José C.; Schmidt, Albrecht; Signer, Beat; Roussel, NicolasEditorial em ata de conferênciaAcesso aberto
2017Welcome to the First Issue of PACMHCI EICSCalvary, Gaelle; Nichols, Jeffrey; Campos, José C.; Nunes, Nuno; Campos, PedroEditorial em revistaAcesso restrito UMinho
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
2015Towards a catalog of usability smellsAlmeida, Diogo Francisco de Carvalho; Campos, José C.; Saraiva, João; Silva, João CarlosArtigo em ata de conferênciaAcesso 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
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
1-10 de um total de 75 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir