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: Formal Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Formalisation of Nominal C-Matching through Unification with Protected Variables
A Formalisation of Nominal C-Matching through Unification with Protected Variables
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Formalisation of Nominal C-Matching through Unification with Protected Variables

Ayala-Rincón, Mauricio ; de Carvalho-Segundo, Washington ; Fernández, Maribel ; Nantes-Sobrinho, Daniele

Electronic notes in theoretical computer science, 2019-08, Vol.344, p.47-65

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
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics

Hulette, Geoffrey C. ; Armstrong, Robert C. ; Mayo, Jackson R. ; Ruthruff, Joseph R.

Electronic notes in theoretical computer science, 2015-11, Vol.317, p.71-83

United States: Elsevier B.V

Texto completo disponível

Citações Citado por
4
An Algorithm for the Identification of Components in Biochemical Pathways
An Algorithm for the Identification of Components in Biochemical Pathways
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Algorithm for the Identification of Components in Biochemical Pathways

Pardini, Giovanni ; Milazzo, Paolo ; Maggiolo-Schettini, Andrea

Electronic notes in theoretical computer science, 2013-12, Vol.299, p.69-84

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Formal Fault Tree Analysis - Practical Experiences
Formal Fault Tree Analysis - Practical Experiences
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Fault Tree Analysis - Practical Experiences

Ortmeier, Frank ; Schellhorn, Gerhard

Electronic notes in theoretical computer science, 2007-07, Vol.185, p.139-151

Elsevier B.V

Texto completo disponível

Citações Citado por
6
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation

Cansado, Antonio ; Canal, Carlos ; Salaün, Gwen ; Cubo, Javier

Electronic notes in theoretical computer science, 2010-06, Vol.263, p.95-110

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Towards the Composition of Specifications in Event-B
Towards the Composition of Specifications in Event-B
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards the Composition of Specifications in Event-B

Silva, Renato

Electronic notes in theoretical computer science, 2011-12, Vol.280, p.81-93

Elsevier B.V

Texto completo disponível

Citações Citado por
8
A Calculus for Generation, Verification and Refinement of BPEL Specifications
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Calculus for Generation, Verification and Refinement of BPEL Specifications

Abouzaid, Faisal ; Mullins, John

Electronic notes in theoretical computer science, 2008-05, Vol.200 (3), p.43-65

Elsevier B.V

Texto completo disponível

Citações Citado por
9
A Framework for Modelling and Simulating Networks of Cells
A Framework for Modelling and Simulating Networks of Cells
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Framework for Modelling and Simulating Networks of Cells

Montagna, Sara ; Viroli, Mirko

Electronic notes in theoretical computer science, 2010-12, Vol.268, p.115-129

Elsevier B.V

Texto completo disponível

Citações Citado por
10
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

Habli, Ibrahim ; Kelly, Tim

Electronic notes in theoretical computer science, 2009-09, Vol.238 (4), p.27-39

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  (2)
  2. 2003Até2004  (12)
  3. 2005Até2006  (27)
  4. 2007Até2009  (32)
  5. Após 2009  (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.