skip to main content
Idioma:
Mostrar Somente
Refinado por: Lista de Todas as Versões Springer Books Online Archive remover Lista de Todas as Versões Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard ; Pnueli, Amir ; Roever, Willem-Paul de ; Langmaack, Hans ; Langmaack, Hans ; de Roever, Willem-Paul ; 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
2
Probenecid Effects on Distribution and Elimination of Benzylpenicillin in the Rat
Probenecid Effects on Distribution and Elimination of Benzylpenicillin in the Rat
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Probenecid Effects on Distribution and Elimination of Benzylpenicillin in the Rat

Bergholz, H. ; Erttmann, R. R. ; Damm, K. H.

Deutsche Pharmakologische Gesellschaft, p.2-2

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
Transformation in Arabidopsis thaliana
Transformation in Arabidopsis thaliana
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Transformation in Arabidopsis thaliana

Bilang, R. ; Potrykus, I. Bajaj, Y. P. S.

Plant Protoplasts and Genetic Engineering III, p.123-134

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Visual Specifications for Modular Reasoning about Asynchronous Systems
Visual Specifications for Modular Reasoning about Asynchronous Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Visual Specifications for Modular Reasoning about Asynchronous Systems

Amla, Nina ; Allen Emerson, E. ; Namjoshi, Kedar S. ; Trefler, Richard J. Vardi, Moshe Y ; Peled, Doron A ; Peled, Doron A. ; Vardi, Moshe Y.

Formal Techniques for Networked and Distributed Systems - FORTE 2002, 2002, Vol.2529, p.226-242 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
Integrated Formal Methods for Safety Analysis of Train Systems
Integrated Formal Methods for Safety Analysis of Train Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Integrated Formal Methods for Safety Analysis of Train Systems

Reif, Wolfgang ; Ortmeier, Frank ; Thums, Andreas ; Schellhorn, Gerhard Jacquart, Renè

Building the Information Society, p.637-642

Boston, MA: Springer US

Texto completo disponível

Citações Citado por
6
The Need for Compositional Proof Systems: A Survey
The Need for Compositional Proof Systems: A Survey
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Need for Compositional Proof Systems: A Survey

de Roever, Willem-Paul Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard ; Pnueli, Amir ; Roever, Willem-Paul de ; Langmaack, Hans ; Langmaack, Hans ; de Roever, Willem-Paul ; Pnueli, Amir

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

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
7
Embedded Systems: Challenges in Specification and Verification
Embedded Systems: Challenges in Specification and Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Embedded Systems: Challenges in Specification and Verification

Pnueli, Amir Sifakis, Joseph ; Sangiovanni-Vincentelli, Alberto ; Sifakis, Joseph ; Sangiovanni-Vincentelli, Alberto

Embedded Software, 2002, Vol.2491, p.1-14 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
Modular Model Checking
Modular Model Checking
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Modular Model Checking

Kupferman, Orna ; Vardi, Moshe Y. Carbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard ; Pnueli, Amir ; Roever, Willem-Paul de ; Langmaack, Hans ; Langmaack, Hans ; de Roever, Willem-Paul ; Pnueli, Amir

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

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
9
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

Harel, David Sifakis, Joseph ; Sangiovanni-Vincentelli, Alberto ; Sifakis, Joseph ; Sangiovanni-Vincentelli, Alberto

Embedded Software, 2002, Vol.2491, p.30-31 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Extending Compositional Message Sequence Graphs
Extending Compositional Message Sequence Graphs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Extending Compositional Message Sequence Graphs

Bollig, Benedikt ; Leucker, Martin ; Lucas, Philipp Baaz, Matthias ; Voronkov, Andrei ; Baaz, Matthias ; Voronkov, Andrei

Lecture notes in computer science, 2002, Vol.2514, p.68-85 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (7)

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

Buscando em bases de dados remotas. Favor aguardar.