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
Mostrar Somente
Refinado por: Nome da Publicação: Formal Aspects Of Computing remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Abstract conjunctive partial deduction for the analysis and compilation of coroutines
Abstract conjunctive partial deduction for the analysis and compilation of coroutines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract conjunctive partial deduction for the analysis and compilation of coroutines

Nys, Vincent ; De Schreye, Danny

Formal aspects of computing, 2017, Vol.29 (1), p.125-153 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
2
Abstract Data Types Can Have Inequations1
Abstract Data Types Can Have Inequations1
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Data Types Can Have Inequations1

Kondoh, Hidetaka

Formal aspects of computing, 2003-04, Vol.14 (4), p.369 [Periódico revisado por pares]

London: Springer Nature B.V

Texto completo disponível

Citações Citado por
3
Abstraction and approximation in fuzzy temporal logics and models
Abstraction and approximation in fuzzy temporal logics and models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstraction and approximation in fuzzy temporal logics and models

Sotudeh, Gholamreza ; Movaghar, Ali

Formal aspects of computing, 2015-03, Vol.27 (2), p.309-334 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
4
Abstractions of non-interference security: probabilistic versus possibilistic
Abstractions of non-interference security: probabilistic versus possibilistic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstractions of non-interference security: probabilistic versus possibilistic

Hoang, T. S. ; McIver, A. K. ; Meinicke, L. ; Morgan, C. C. ; Sloane, A. ; Susatyo, E.

Formal aspects of computing, 2014, Vol.26 (1), p.169-194 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
5
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
Material Type:
Artigo 		Adicionar ao Meu Espaço

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Al-Bataineh, Omar ; Reynolds, Mark ; French, Tim

Formal aspects of computing, 2015-11, Vol.27 (5-6), p.917-949 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
6
Action refinement applied to late decisions
Action refinement applied to late decisions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Action refinement applied to late decisions

FECHER, H ; MAJSTER-CEDERBAUM, M

Formal aspects of computing, 2006-06, Vol.18 (2), p.211-230 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por
7
Active learning for extended finite state machines
Active learning for extended finite state machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Active learning for extended finite state machines

Cassel, Sofia ; Howar, Falk ; Jonsson, Bengt ; Steffen, Bernhard

Formal aspects of computing, 2016-04, Vol.28 (2), p.233-263 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
8
Actors and their composition
Actors and their composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

Actors and their composition

JANNECK, Jörn W

Formal aspects of computing, 2003-12, Vol.15 (4), p.349-369 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por
9
Advanced features of Duration Calculus and their applications in sequential hybrid programs
Advanced features of Duration Calculus and their applications in sequential hybrid programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Advanced features of Duration Calculus and their applications in sequential hybrid programs

HE JIFENG ; XU QIWEN

Formal aspects of computing, 2003-07, Vol.15 (1), p.84-99 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por
10
Algebra and logic for access control
Algebra and logic for access control
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebra and logic for access control

Collinson, Matthew ; Pym, David

Formal aspects of computing, 2010-03, Vol.22 (2), p.83-104 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (467)

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

Buscando em bases de dados remotas. Favor aguardar.