skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Lista de Todas as Versões SpringerLINK Lecture Notes in Computer Science (2015) remover Lista de Todas as Versões Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Damm, Werner ; Horbach, Matthias ; Sofronie-Stokkermans, Viorica

Frontiers of Combining Systems, p.186-202 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Contracts for Schedulability Analysis
Contracts for Schedulability Analysis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Contracts for Schedulability Analysis

Reinkemeier, Philipp ; Benveniste, Albert ; Damm, Werner ; Stierand, Ingo

Formal Modeling and Analysis of Timed Systems, 2015, Vol.9268, p.270-287 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
Determining the Improvement Potential of a Software Development Organization Through Fault Analysis: A Method and a Case Study
Determining the Improvement Potential of a Software Development Organization Through Fault Analysis: A Method and a Case Study
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Determining the Improvement Potential of a Software Development Organization Through Fault Analysis: A Method and a Case Study

Damm, Lars-Ola ; Lundberg, Lars ; Wohlin, Claes

Lecture notes in computer science, 2004, p.138-149 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
A Compositional Real-time Semantics of STATEMATE Designs
A Compositional Real-time Semantics of STATEMATE Designs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Compositional Real-time Semantics of STATEMATE Designs

Damm, Werner ; Josko, Bernhard ; Hungar, Hardi ; Pnueli, Amir

Compositionality: The Significant Difference, 1998, Vol.1536, p.186-238 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
Distributed implementation of programmed graph reduction
Distributed implementation of programmed graph reduction
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Distributed implementation of programmed graph reduction

Loogen, Rita ; Kuchen, Herbert ; Indermark, Klaus ; Damm, Werner

PARLE '89 Parallel Architectures and Languages Europe, 1989, p.136-157 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
What if model checking must be truly symbolic
What if model checking must be truly symbolic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

What if model checking must be truly symbolic

Hungar, Hardi ; Grumberg, Orna ; Damm, Werner

Correct Hardware Design and Verification Methods, 1995, p.1-20 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
Structure and importance of logspace-MOD-classes
Structure and importance of logspace-MOD-classes
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Structure and importance of logspace-MOD-classes

Buntrock, Gerhard ; Hertrampf, Ulrich ; Damm, Carsten ; Meinel, Christoph

STACS 91, 1991, p.360-371 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
On type checking in VDM and related consistency issues
On type checking in VDM and related consistency issues
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On type checking in VDM and related consistency issues

Damm, Flemming ; Hansen, Bo Stig ; Bruun, Hans

VDM'91 Formal Software Development Methods, 1991, p.45-62 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
An approach to the static semantics of VDM-SL
An approach to the static semantics of VDM-SL
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An approach to the static semantics of VDM-SL

Bruun, Hans ; Hansen, Bo Stig ; Damm, Flemming

VDM'91 Formal Software Development Methods, 1991, p.220-253 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
An axiomatic approach to the specification of distributed computer architectures
An axiomatic approach to the specification of distributed computer architectures
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An axiomatic approach to the specification of distributed computer architectures

Damm, W. ; Doehmen, G.

PARLE Parallel Architectures and Languages Europe, 1987, p.103-120 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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 de1987  (6)
  2. 1987Até1994  (9)
  3. 1995Até1998  (9)
  4. 1999Até2003  (15)
  5. Após 2003  (26)
  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.