skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Lecture Notes In Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Enabling continuous software engineering for embedded systems architectures with virtual prototypes
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Enabling continuous software engineering for embedded systems architectures with virtual prototypes

Pablo Oliveira Antonino Matthias Jung; Andreas Morgenstern; Florian Faßnacht; Thomas Bauer; Adam Bachorek; Thomas Kuhn; Elisa Yumi Nakagawa; European Conference on Software Architecture - ECSA 2018 (12. 2018 Madri, Espanha)

Lecture Notes in Computer Science Cham : Springer v. 11048, p. 115-130, 2018

Cham Springer Nature Switzerland AG 2018

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2917108 )(Acessar)

2
From Specification to Proof Obligations
From Specification to Proof Obligations
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Specification to Proof Obligations

Grahl, Daniel ; Ulbrich, Mattias Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.243-287 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Formal Verification with KeY: A Tutorial
Formal Verification with KeY: A Tutorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Verification with KeY: A Tutorial

Beckert, Bernhard ; Hähnle, Reiner ; Hentschel, Martin ; Schmitt, Peter H. Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.541-570 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Abstract Interpretation
Abstract Interpretation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Interpretation

Wasser, Nathan ; Hähnle, Reiner ; Bubel, Richard Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.167-189 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Verification of Counting Sort and Radix Sort
Verification of Counting Sort and Radix Sort
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verification of Counting Sort and Radix Sort

de Gouw, Stijn ; de Boer, Frank S. ; Rot, Jurriaan Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.609-618 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
First-Order Logic
First-Order Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

First-Order Logic

Schmitt, Peter H. Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.23-47 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Proof Search with Taclets
Proof Search with Taclets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proof Search with Taclets

Rümmer, Philipp ; Ulbrich, Mattias Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.107-147 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

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

Information Flow Analysis

Scheben, Christoph ; Greiner, Simon Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.453-471 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Functional Verification and Information Flow Analysis of an Electronic Voting System
Functional Verification and Information Flow Analysis of an Electronic Voting System
Material Type:
Artigo 		Adicionar ao Meu Espaço

Functional Verification and Information Flow Analysis of an Electronic Voting System

Grahl, Daniel ; Scheben, Christoph Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.593-607 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Dynamic Logic for Java
Dynamic Logic for Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Logic for Java

Beckert, Bernhard ; Klebanov, Vladimir ; Weiß, Benjamin Bubel, Richard ; Hähnle, Reiner ; Ahrendt, Wolfgang ; Schmitt, Peter H. ; Beckert, Bernhard ; Ulbrich, Mattias

Deductive Software Verification – The KeY Book, 2016-12, p.49-106 [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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (814)
  2. Livros  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (5)
  2. 1993Até1997  (5)
  3. 1998Até2001  (67)
  4. 2002Até2011  (628)
  5. Após 2011  (111)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (51)
  2. Russo  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.