skip to main content
Idioma:
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
A Branching Time Logical System for Open Distributed Systems Development
A Branching Time Logical System for Open Distributed Systems Development
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Branching Time Logical System for Open Distributed Systems Development

Duarte, Carlos H.C. ; Maibaum, Tom

Electronic notes in theoretical computer science, 2002-10, Vol.67, p.184-203

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Abstract Graph Transformation
Abstract Graph Transformation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Graph Transformation

Rensink, Arend ; Distefano, Dino

Electronic notes in theoretical computer science, 2006-05, Vol.157 (1), p.39-59

Elsevier B.V

Texto completo disponível

Citações Citado por
3
Abstractions for Model-Based Testing
Abstractions for Model-Based Testing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstractions for Model-Based Testing

Prenninger, Wolfgang ; Pretschner, Alexander

Electronic notes in theoretical computer science, 2005-01, Vol.116, p.59-71

Elsevier B.V

Texto completo disponível

Citações Citado por
4
ACTAS : A System Design for Associative and Commutative Tree Automata Theory
ACTAS : A System Design for Associative and Commutative Tree Automata Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

ACTAS : A System Design for Associative and Commutative Tree Automata Theory

Ohsaki, Hitoshi ; Takai, Toshinori

Electronic notes in theoretical computer science, 2005-03, Vol.124 (1), p.97-111

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Alias verification for Fortran code optimization
Alias verification for Fortran code optimization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Alias verification for Fortran code optimization

Nguyen, Thi Viet Nga ; Irigoin, François

Electronic notes in theoretical computer science, 2002-04, Vol.65 (2), p.52-66

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Alternating-time logic with imperfect recall
Alternating-time logic with imperfect recall
Material Type:
Artigo 		Adicionar ao Meu Espaço

Alternating-time logic with imperfect recall

Schobbens, Pierre-Yves

Electronic notes in theoretical computer science, 2004-04, Vol.85 (2), p.82-93

Elsevier B.V

Texto completo disponível

Citações Citado por
7
An Automata Based Approach for Verifying Information Flow Properties
An Automata Based Approach for Verifying Information Flow Properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Automata Based Approach for Verifying Information Flow Properties

D'Souza, Deepak ; Raghavendra, K.R. ; Sprick, Barbara

Electronic notes in theoretical computer science, 2005-07, Vol.135 (1), p.39-58

Elsevier B.V

Texto completo disponível

Citações Citado por
8
An Automated Approach for the Interpretation of Counter-Examples
An Automated Approach for the Interpretation of Counter-Examples
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Automated Approach for the Interpretation of Counter-Examples

van den Berg, Lionel ; Strooper, Paul ; Johnston, Wendy

Electronic notes in theoretical computer science, 2007-05, Vol.174 (4), p.19-35

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Analysing Password Protocol Security Against Off-line Dictionary Attacks
Analysing Password Protocol Security Against Off-line Dictionary Attacks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analysing Password Protocol Security Against Off-line Dictionary Attacks

Corin, Ricardo ; Doumen, Jeroen ; Etalle, Sandro

Electronic notes in theoretical computer science, 2005-02, Vol.121, p.47-63

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Analyzing a Pattern-Based Model of a Real-Time Turntable System
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analyzing a Pattern-Based Model of a Real-Time Turntable System

Slutej, Davor ; Håkansson, John ; Suryadevara, Jagadish ; Seceleanu, Cristina ; Pettersson, Paul

Electronic notes in theoretical computer science, 2009-10, Vol.253 (1), p.161-178

Elsevier B.V

Texto completo disponível

Citações Citado por

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  (32)
  3. 2006Até2008  (49)
  4. 2009Até2012  (25)
  5. Após 2012  (7)
  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.