skip to main content
Refinado por: tipo de recurso: Recursos Textuais remover assunto: Theory And Algorithms remover autor: Hanna, Youssef Wasfy remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols

Hanna, Youssef Wasfy ; Rajan, Hridesh ; Wensheng, Zhang

Digital Repository @ Iowa State University 2006

Texto completo disponível

2
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms

Hanna, Youssef Wasfy ; Rajan, Hridesh

Digital Repository @ Iowa State University 2007

Texto completo disponível

3
Material Type:
Recurso Textual
Adicionar ao Meu Espaço

SLEDE: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations

Hanna, Youssef Wasfy ; Rajan, Hridesh

Digital Repository @ Iowa State University 2007

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Hanna, Youssef Wasfy
  2. Rajan, Hridesh
  3. Wensheng, Zhang

Buscando em bases de dados remotas. Favor aguardar.