skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Nome da Publicação: Arxiv remover Nome da Publicação: Electronic Proceedings In Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verifying Patterns of Dynamic Architectures using Model Checking
Verifying Patterns of Dynamic Architectures using Model Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying Patterns of Dynamic Architectures using Model Checking

Marmsoler, Diego ; Degenhardt, Silvio

Electronic proceedings in theoretical computer science, 2017-03, Vol.245 (Proc. FESCA 2017), p.16-30

Open Publishing Association

Texto completo disponível

Citações Citado por
2
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example
Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example
Material Type:
Artigo 		Adicionar ao Meu Espaço

Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example

Signoles, Julien

Electronic proceedings in theoretical computer science, 2015-08, Vol.187 (Proc. F-IDE 2015), p.86-96

Open Publishing Association

Texto completo disponível

Citações Citado por
3
Program Understanding: A Reengineering Case for the Transformation Tool Contest
Program Understanding: A Reengineering Case for the Transformation Tool Contest
Material Type:
Artigo 		Adicionar ao Meu Espaço

Program Understanding: A Reengineering Case for the Transformation Tool Contest

Horn, Tassilo

Electronic proceedings in theoretical computer science, 2011-11, Vol.74 (Proc. TTC 2011), p.17-21

Open Publishing Association

Texto completo disponível

Citações Citado por
4
A Simulation Tool for tccp Programs
A Simulation Tool for tccp Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Simulation Tool for tccp Programs

Gallardo, María-del-Mar ; Lavado, Leticia ; Panizo, Laura

Electronic proceedings in theoretical computer science, 2017-01, Vol.234 (Proc. WLP 2015/'16/WFLP'16), p.120-134

Open Publishing Association

Texto completo disponível

Citações Citado por
5
PAWS: A Tool for the Analysis of Weighted Systems
PAWS: A Tool for the Analysis of Weighted Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

PAWS: A Tool for the Analysis of Weighted Systems

König, Barbara ; Küpper, Sebastian ; Mika, Christina

Electronic proceedings in theoretical computer science, 2017-07, Vol.250 (Proc. QAPL 2017), p.75-91

Open Publishing Association

Texto completo disponível

Citações Citado por
6
Building an IDE for the Calculational Derivation of Imperative Programs
Building an IDE for the Calculational Derivation of Imperative Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Building an IDE for the Calculational Derivation of Imperative Programs

Chaudhari, Dipak L. ; Damani, Om

Electronic proceedings in theoretical computer science, 2015-08, Vol.187 (Proc. F-IDE 2015), p.1-13

Open Publishing Association

Texto completo disponível

Citações Citado por
7
Fairness as a QoS Measure for Web Services
Fairness as a QoS Measure for Web Services
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fairness as a QoS Measure for Web Services

Bistarelli, Stefano ; Campli, Paola

Electronic proceedings in theoretical computer science, 2009-06, Vol.2 (Proc. YR-SOC 2009), p.115-127

Open Publishing Association

Texto completo disponível

Citações Citado por
8
Efficient Parallel Statistical Model Checking of Biochemical Networks
Efficient Parallel Statistical Model Checking of Biochemical Networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient Parallel Statistical Model Checking of Biochemical Networks

Ballarini, Paolo ; Forlin, Michele ; Mazza, Tommaso ; Prandi, Davide

Electronic proceedings in theoretical computer science, 2009-12, Vol.14 (Proc. PDMC 2009), p.47-61

Open Publishing Association

Texto completo disponível

Citações Citado por
9
An Enhanced Model for Stochastic Coordination
An Enhanced Model for Stochastic Coordination
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Enhanced Model for Stochastic Coordination

Oliveira, Nuno ; Soares Barbosa, Luis

Electronic proceedings in theoretical computer science, 2016-10, Vol.228 (Proc. iFMCloud 2016), p.35-45

Open Publishing Association

Texto completo disponível

Citações Citado por
10
A formalisation of XMAS
A formalisation of XMAS
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formalisation of XMAS

van Gastel, Bernard ; Schmaltz, Julien

Electronic proceedings in theoretical computer science, 2013-04, Vol.114 (Proc. ACL2 2013), p.111-126

Open Publishing Association

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2009  (1)
  2. 2009Até2010  (2)
  3. 2011Até2012  (1)
  4. 2013Até2015  (3)
  5. Após 2015  (4)
  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.