Percorrer por assunto Formal verification

Í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 26-34 de um total de 34 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2013Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?Lobo, Edgar; Fertuzinhos, João; Mendonca, Joao Pedro, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2009Pattern-based analysis of automated production systemsCampos, J. Creissac; Machado, JoséArtigo em ata de conferênciaAcesso aberto
Mai-2011Safe controllers design for industrial automation systemsMachado, José Manuel; Seabra, Eurico; Campos, J. Creissac, et al.ArtigoAcesso restrito UMinho
2008Simulation and formal verification of industrial systems controllersMachado, José Mendes; Seabra, Eurico; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.Artigo em ata de conferênciaAcesso aberto
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Resumo em ata de conferência Acesso aberto
2017Using timed automata for modeling, simulating and verifying networked systems controller's specificationsKunz, Guilherme; Machado, José; Perondi, EduardoArtigoAcesso 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., et al.ArtigoAcesso aberto
Jun-2022Verified password generation from password composition policiesGrilo, Miguel; Campos, João; Ferreira, João F., et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 26-34 de um total de 34 resultados. < anterior