Idioma:

4 Resultados para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Refinado por: tipo de recurso: Anais de Congresso

Result Number	Material Type	Record Details and Options
1	Material Type: Ata de Congresso	Formal verification of information flow security for a simple arm-based separation kernel Dam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, Oliver Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234 ACM Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Ata de Congresso	Instrument support modules for the SOAR telescope Santoro, Fernando G ; Ingerson, Thomas E ; Schwarz, Hugo E ; Tighe, Roberto ; Martinez, Manuel ; Gallardo, Juan ; Ochoa, Hugo Proceedings of SPIE, 2004, Vol.5489, p.913-926 SPIE Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Ata de Congresso	SELENE: Self-Monitored Dependable Platform for High-Performance Safety-Critical Systems Hernández Luz, Carles ; Flich Cardo, José ; Paredes Palacios, Roberto ; Lefebvre, Charles-Alexis ; Allende, Imanol ; Abella, Jaume ; Trilla, David ; Matschnig, Martin ; Fischer, Bernhard ; Schwarz, Konrad ; Kiszka, Jan ; Ronnback, Martin ; Klockars, Johan ; McGuire, Nicholas ; Rammerstorfer, Franz IEEE 2020 Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Ata de Congresso	The SOAR optical imager: status and first results Schwarz, Hugo E ; Ashe, Michael C ; Boccas, Maxime ; Bonati, Marco ; Delgado, Francisco ; Gavez, Ramon ; Martinez, Manuel ; Schurter, Patricio ; Schmidt, Ricardo ; Tighe, Roberto ; Walker, Alistair R SPIE 2004 Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por