skip to main content
Idioma:
previous page 1 Resultados 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
11
Delta Modeling and Model Checking of Product Families
Delta Modeling and Model Checking of Product Families
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Delta Modeling and Model Checking of Product Families

Arbab, Farhad ; Sirjani, Marjan

Fundamentals of Software Engineering, 2013, Vol.8161, p.51-65 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
12
Scheduling Games for Concurrent Systems
Scheduling Games for Concurrent Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Scheduling Games for Concurrent Systems

Lluch Lafuente, Alberto ; Proença, José

Coordination Models and Languages, 2016, Vol.9686, p.84-100 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
13
PrDK: Protocol Programming with Automata
PrDK: Protocol Programming with Automata
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

PrDK: Protocol Programming with Automata

Jongmans, Sung-Shik T. Q. ; Arbab, Farhad

Tools and Algorithms for the Construction and Analysis of Systems, p.547-552 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
14
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems

Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016, Vol.9700, p.1-35 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
15
Improving Time Bounded Reachability Computations in Interactive Markov Chains
Improving Time Bounded Reachability Computations in Interactive Markov Chains
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Improving Time Bounded Reachability Computations in Interactive Markov Chains

Arbab, Farhad ; Sirjani, Marjan

Fundamentals of Software Engineering, 2013, Vol.8161, p.250-266 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
16
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

Dastani, Mehdi ; Sirjani, Marjan

Fundamentals of Software Engineering, 2015, Vol.9392, p.238-258 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
17
Lending Petri Nets and Contracts
Lending Petri Nets and Contracts
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Lending Petri Nets and Contracts

Arbab, Farhad ; Sirjani, Marjan

Fundamentals of Software Engineering, 2013, Vol.8161, p.66-82 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
18
Compiling Cooperative Task Management to Continuations
Compiling Cooperative Task Management to Continuations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Compiling Cooperative Task Management to Continuations

Arbab, Farhad ; Sirjani, Marjan

Fundamentals of Software Engineering, 2013, Vol.8161, p.95-110 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
19
Composing Constraint Automata, State-by-State
Composing Constraint Automata, State-by-State
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Composing Constraint Automata, State-by-State

Braga, Christiano ; Ölveczky, Peter Csaba

Formal Aspects of Component Software, 2016, Vol.9539, p.217-236 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
20
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks

Arbab, Farhad ; Sirjani, Marjan

Fundamentals of Software Engineering, 2013, Vol.8161, p.168-182 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 (37)

Data de Publicação 

De até
Refinar
  1. Antes de1996  (3)
  2. 1996Até1999  (4)
  3. 2000Até2003  (39)
  4. 2004Até2013  (80)
  5. Após 2013  (10)
  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.