skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: EBSCOhost Computers and Applied Sciences Complete remover assunto: Theory Of Computation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fifty years of Hoare’s logic
Fifty years of Hoare’s logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fifty years of Hoare’s logic

Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger

Formal aspects of computing, 2019-12, Vol.31 (6), p.751-807 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
2
ProFeat: feature-oriented engineering for family-based probabilistic model checking
ProFeat: feature-oriented engineering for family-based probabilistic model checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

ProFeat: feature-oriented engineering for family-based probabilistic model checking

Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel

Formal aspects of computing, 2018, Vol.30 (1), p.45-75 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
3
A formal approach for detection of security flaws in the android permission system
A formal approach for detection of security flaws in the android permission system
Material Type:
Artigo 		Adicionar ao Meu Espaço

A formal approach for detection of security flaws in the android permission system

Bagheri, Hamid ; Kang, Eunsuk ; Malek, Sam ; Jackson, Daniel

Formal aspects of computing, 2018-09, Vol.30 (5), p.525-544 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
4
Soundness of workflow nets: classification, decidability, and analysis
Soundness of workflow nets: classification, decidability, and analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Soundness of workflow nets: classification, decidability, and analysis

van der Aalst, W. M. P. ; van Hee, K. M. ; ter Hofstede, A. H. M. ; Sidorova, N. ; Verbeek, H. M. W. ; Voorhoeve, M. ; Wynn, M. T.

Formal aspects of computing, 2011-05, Vol.23 (3), p.333-363 [Periódico revisado por pares]

London: Springer-Verlag

Texto completo disponível

Citações Citado por
5
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

Chen, Xiaoping ; Liu, Zhiming ; Wang, Ji ; Woodcock, Jim

Formal aspects of computing, 2021, Vol.33 (3), p.299-300 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
6
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

McIver, Annabelle ; ter Beek, Maurice H

Formal aspects of computing, 2021, Vol.33 (4-5), p.459-460 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
7
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

de Vink, Erik ; Cavalcanti, Ana

Formal aspects of computing, 2021, Vol.33 (1), p.1-2 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
8
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

Fantechi, Alessandro ; Haxthausen, Anne E. ; Woodcock, Jim

Formal aspects of computing, 2021, Vol.33 (6), p.923-924 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
9
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

Cabot, Jordi ; Wehrheim, Heike ; Boiten, Eerke

Formal aspects of computing, 2021, Vol.33 (6), p.1037-1037 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
10
Editorial
Editorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Editorial

Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth ; Wehrheim, Heike

Formal aspects of computing, 2021, Vol.33 (6), p.827-827 [Periódico revisado por pares]

London: Springer London

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (488)
  2. Resenhas  (12)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2010  (60)
  2. 2010Até2012  (110)
  3. 2013Até2015  (119)
  4. 2016Até2019  (146)
  5. Após 2019  (66)
  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.