skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP

van Glabbeek, Rob J.

Correct System Design, p.99-130 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Understanding Probabilistic Programs
Understanding Probabilistic Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Understanding Probabilistic Programs

Katoen, Joost-Pieter ; Gretz, Friedrich ; Jansen, Nils ; Kaminski, Benjamin Lucien ; Olmedo, Federico

Correct System Design, p.15-32 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Bounded Synthesis for Petri Games
Bounded Synthesis for Petri Games
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Bounded Synthesis for Petri Games

Finkbeiner, Bernd

Correct System Design, p.223-237 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
On Applicative Similarity, Sequentiality, and Full Abstraction
On Applicative Similarity, Sequentiality, and Full Abstraction
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On Applicative Similarity, Sequentiality, and Full Abstraction

Crubillé, Raphaëlle ; Dal Lago, Ugo ; Sangiorgi, Davide ; Vignudelli, Valeria

Correct System Design, p.65-82 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Automated Reasoning Building Blocks
Automated Reasoning Building Blocks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Automated Reasoning Building Blocks

Weidenbach, Christoph

Correct System Design, 2015, p.172-188 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Toward Compact Abstractions for Processor Pipelines
Toward Compact Abstractions for Processor Pipelines
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Toward Compact Abstractions for Processor Pipelines

Hahn, Sebastian ; Reineke, Jan ; Wilhelm, Reinhard

Correct System Design, p.205-220 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL
No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL

Fränzle, Martin ; Hansen, Michael R. ; Ody, Heinrich

Correct System Design, p.152-171 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Seeing the Big Picture: Pilot Assessments of Cockpit System Interactions Contribution to Situation Awareness
Seeing the Big Picture: Pilot Assessments of Cockpit System Interactions Contribution to Situation Awareness
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Seeing the Big Picture: Pilot Assessments of Cockpit System Interactions Contribution to Situation Awareness

Meyer, David R. ; Rusnock, Christina F. ; Miller, Michael E.

Engineering Psychology and Cognitive Ergonomics, p.419-428 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Being and Change: Reasoning About Invariance
Being and Change: Reasoning About Invariance
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Being and Change: Reasoning About Invariance

de Boer, Frank S. ; de Gouw, Stijn

Correct System Design, p.191-204 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems

Fröschle, Sibylle

Correct System Design, p.83-98 [Periódico revisado por pares]

Cham: Springer International Publishing

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.   

Mostrar Somente

  1. Revistas revisadas por pares (104)

Data de Publicação 

De até
Refinar
  1. Antes de1974  (17)
  2. 1974Até1986  (95)
  3. 1987Até1998  (82)
  4. 1999Até2011  (433)
  5. Após 2011  (309)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (995)
  2. Alemão  (37)
  3. Japonês  (8)
  4. Francês  (6)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.