Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 13 resultados (tempo de pesquisa: 0.0 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
2014A virtual factory for smart city service integrationCledou, Maria GuillerminaArtigo em ata de conferênciaAcesso aberto
Abr-1990A reification calculus for model-oriented software specificationOliveira, José Nuno FonsecaArtigoAcesso 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
2006Program slicing by calculationBarbosa, L. S.; Rodrigues, Nuno F.ArtigoAcesso aberto
2010Certification of open-source software : a role for formal methods?Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander; Shaikh, Siraj A.ArtigoAcesso aberto
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael; Campos, José C.; Masci, Paolo; di Maria, Costanzo; Whitaker, MichaelArtigoAcesso aberto
2019High assurance on cyber-physical interactive systemsCouto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 13 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir