skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Dissertações remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Technical Cooperation on Verification and its Role in Trust Building
Technical Cooperation on Verification and its Role in Trust Building
Material Type:
Tese 		Adicionar ao Meu Espaço

Technical Cooperation on Verification and its Role in Trust Building

Caruso, Casey Lauren

United States 2020

Sem texto completo

Citações Citado por
2
Reachability-Based Robustness Verification of Deep Neural Networks with Emphasis on Safety-Critical Time-Series Applications
Reachability-Based Robustness Verification of Deep Neural Networks with Emphasis on Safety-Critical Time-Series Applications
Material Type:
Tese 		Adicionar ao Meu Espaço

Reachability-Based Robustness Verification of Deep Neural Networks with Emphasis on Safety-Critical Time-Series Applications

Pal, Neelanjana

2024

Texto completo disponível

Citações Citado por
3
Ensuring Correctness of Modern Software Systems by Example
Ensuring Correctness of Modern Software Systems by Example
Material Type:
Tese 		Adicionar ao Meu Espaço

Ensuring Correctness of Modern Software Systems by Example

Sivaraman, Aishwarya

eScholarship, University of California 2022

Sem texto completo

Citações Citado por
4
Functional Verification of CMS PIXEL 28nm Design for the Large Hadron Collider Using Unit-Level Testing and Assertions
Functional Verification of CMS PIXEL 28nm Design for the Large Hadron Collider Using Unit-Level Testing and Assertions
Material Type:
Tese 		Adicionar ao Meu Espaço

Functional Verification of CMS PIXEL 28nm Design for the Large Hadron Collider Using Unit-Level Testing and Assertions

Molina, Lilian

eScholarship, University of California 2024

Sem texto completo

Citações Citado por
5
Combining Reachable Set Computation with Neuron Coverage
Combining Reachable Set Computation with Neuron Coverage
Material Type:
Tese 		Adicionar ao Meu Espaço

Combining Reachable Set Computation with Neuron Coverage

Yu, Ulysses

2020

Texto completo disponível

Citações Citado por
6
Adapting Verified Compilation for Target-Language Errors
Adapting Verified Compilation for Target-Language Errors
Material Type:
Tese 		Adicionar ao Meu Espaço

Adapting Verified Compilation for Target-Language Errors

Singh, Pratap

2022

Texto completo disponível

Citações Citado por
7
Verified security properties for the capability-enhanced CHERI-MIPS architecture
Verified security properties for the capability-enhanced CHERI-MIPS architecture
Material Type:
Tese 		Adicionar ao Meu Espaço

Verified security properties for the capability-enhanced CHERI-MIPS architecture

Nienhuis, Kyndylan

University of Cambridge 2021

Texto completo disponível

Citações Citado por
8
Leveraging Decomposition for the Modelling, Implementation and Verification of Complex Dependable Real-Time Systems
Leveraging Decomposition for the Modelling, Implementation and Verification of Complex Dependable Real-Time Systems
Material Type:
Tese 		Adicionar ao Meu Espaço

Leveraging Decomposition for the Modelling, Implementation and Verification of Complex Dependable Real-Time Systems

McColl, Callum G ; Hexel, Rene ; Estivill-Castro, Vladimir ; Venema, Sven

2023

Sem texto completo

Citações Citado por
9
Trust, transforms, and control flow: A graph-theoretic method to verifying source and binary control flow equivalence
Trust, transforms, and control flow: A graph-theoretic method to verifying source and binary control flow equivalence
Material Type:
Tese 		Adicionar ao Meu Espaço

Trust, transforms, and control flow: A graph-theoretic method to verifying source and binary control flow equivalence

Goluch, Ryan Christopher

Iowa State University Digital Repository 2021

Sem texto completo

Citações Citado por
10
Formalising cryptography using CryptHOL
Formalising cryptography using CryptHOL
Material Type:
Tese 		Adicionar ao Meu Espaço

Formalising cryptography using CryptHOL

Butler, David Thomas

The University of Edinburgh 2020

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (269)

Data de Publicação 

De até
Refinar
  1. Antes de1984  (13)
  2. 1984Até1993  (50)
  3. 1994Até2003  (69)
  4. 2004Até2014  (545)
  5. Após 2014  (530)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (959)
  2. Francês  (135)
  3. Tcheco  (38)
  4. Espanhol  (23)
  5. Catalão  (9)
  6. Alemão  (7)
  7. Sueco  (4)
  8. Eslovaco  (2)
  9. Russo  (1)
  10. Norueguês  (1)
  11. Holandês  (1)
  12. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.