Percorrer por assunto Formal methods

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-20 de um total de 23 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
7-Set-2023Adding uncertainty to real-time programmingCarvalho, Rui Carlos AzevedoDissertação de mestrado Acesso aberto
2023AMAN case studyPalanque, Philippe; Campos, José C.Artigo em ata de conferênciaAcesso aberto
31-Jan-2022An HAROS extension for variability aware ROS code analysisPereira, Ricardo RibeiroDissertação de mestrado Acesso aberto
2009An integrated formal methods tool-chain and its application to verifying a file system modelFerreira, Miguel A.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2022Automatic repair of behavioural specificationsCerqueira, Jorge Gabriel AlvesDissertação de mestrado Acesso aberto
2010Certification of open-source software : a role for formal methods?Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander, et al.ArtigoAcesso aberto
9-Jan-2020Early validation of system requirements and designMiranda, MarceloDissertação de mestrado Acesso aberto
2009Extended static checking by calculation using the pointfree transformOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison, Michael douglas; Freitas, Leo; Drinnan, Michael, et al.ArtigoAcesso 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, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso aberto
2013Modeling and formal analysis of urban road trafficAvram, Camelia; Machado, José; Aştilean, AdinaArtigo em ata de conferênciaAcesso aberto
2006Program slicing by calculationBarbosa, L. S.; Rodrigues, Nuno F.ArtigoAcesso aberto
27-Set-2013Proof support for hybridised logicsNeves, Renato Jorge AraújoDissertação de mestrado Acesso 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
Abr-1990A reification calculus for model-oriented software specificationOliveira, José Nuno FonsecaArtigoAcesso aberto
2017Safety analysis of software components of a dialysis machine using model checkingHarrison, Michael douglas; Drinnan, M.; Campos, José C., et al.Artigo em ata de conferênciaAcesso aberto
2020Software engineering for 'quantum advantage'Barbosa, Luís S.Artigo em ata de conferênciaAcesso aberto
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 1-20 de um total de 23 resultados.  próximo >