skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover assunto: Verification remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formalization and Verification of Behavioral Correctness of Dynamic Software Updates

Zhang, Min ; Ogata, Kazuhiro ; Futatsugi, Kokichi

Electronic notes in theoretical computer science, 2013-03, Vol.294, p.12-23

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)

Tschantz, Michael Carl ; Kaynar, Dilsun ; Datta, Anupam

Electronic notes in theoretical computer science, 2011-09, Vol.276, p.61-79

Elsevier B.V

Texto completo disponível

Citações Citado por
3
PEF: Python Error Finder
PEF: Python Error Finder
Material Type:
Artigo 		Adicionar ao Meu Espaço

PEF: Python Error Finder

Barsotti, Damián ; Bordese, Andrés M. ; Hayes, Tomás

Electronic notes in theoretical computer science, 2018-07, Vol.339, p.21-41

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Modeling and Verification of RBC Handover Protocol
Modeling and Verification of RBC Handover Protocol
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling and Verification of RBC Handover Protocol

Yang, Kai ; Duan, Zhenhua ; Tian, Cong

Electronic notes in theoretical computer science, 2014-12, Vol.309, p.51-62

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities
Material Type:
Artigo 		Adicionar ao Meu Espaço

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

Miné, Antoine

Electronic notes in theoretical computer science, 2017-03, Vol.331, p.3-39

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Bounded Model Checking of Traffic Light Control System
Bounded Model Checking of Traffic Light Control System
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bounded Model Checking of Traffic Light Control System

Yu, Bin ; Duan, Zhenhua ; Tian, Cong

Electronic notes in theoretical computer science, 2014-12, Vol.309, p.63-74

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Automated Verification of Signalling Principles in Railway Interlocking Systems
Automated Verification of Signalling Principles in Railway Interlocking Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated Verification of Signalling Principles in Railway Interlocking Systems

Kanso, Karim ; Moller, Faron ; Setzer, Anton

Electronic notes in theoretical computer science, 2009-09, Vol.250 (2), p.19-31

Elsevier B.V

Texto completo disponível

Citações Citado por
8
A Relative Timed Semantics for BPMN
A Relative Timed Semantics for BPMN
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Relative Timed Semantics for BPMN

Wong, Peter Y.H. ; Gibbons, Jeremy

Electronic notes in theoretical computer science, 2009-07, Vol.229 (2), p.59-75

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Towards Verifying Model Transformations
Towards Verifying Model Transformations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards Verifying Model Transformations

Narayanan, Anantha ; Karsai, Gabor

Electronic notes in theoretical computer science, 2008-04, Vol.211, p.191-200

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Security of RFID Protocols – A Case Study
Security of RFID Protocols – A Case Study
Material Type:
Artigo 		Adicionar ao Meu Espaço

Security of RFID Protocols – A Case Study

van Deursen, Ton ; Radomirović, Saša

Electronic notes in theoretical computer science, 2009-08, Vol.244, p.41-52

Elsevier B.V

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.   

Data de Publicação 

De até
Refinar
  1. Antes de2003  (4)
  2. 2003Até2005  (31)
  3. 2006Até2008  (49)
  4. 2009Até2012  (26)
  5. Após 2012  (6)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.