skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems

Klaus Havelund Erika Ábrahám Klaus Havelund

Springer Berlin Heidelberg 2014

Acesso online

2
SPIN Model Checking and Software Verification
SPIN Model Checking and Software Verification
Material Type:
Livro 		Adicionar ao Meu Espaço

SPIN Model Checking and Software Verification

International SPIN Workshop Klaus Havelund; John Penix; Willem Visser

Springer Berlin Heidelberg 2000

Acesso online

3
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers

FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-

Berlin Springer 2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4262 )(Acessar)

4
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SPIN model checking and software verification 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

International SPIN Workshop (7th 2000 Stanford, Calif.) Klaus Havelund 1955-; John Penix 1970-; Willem Visser 1968-

Berlin New York Springer 2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1885 ) e outros locais(Acessar)

5
Galenics of Insulin
Galenics of Insulin
Material Type:
Livro 		Adicionar ao Meu Espaço

Galenics of Insulin

Brange Jens Brange; U Damgaard; H Ege; S Havelund; L. G Heding; K. H Joergensen; L Langkjaer; J Lykkeberg; J Markussen; B Skelbaek-Pedersen

Springer Berlin Heidelberg 1987

Acesso online

6
Moving Fast with Software Verification
Moving Fast with Software Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Moving Fast with Software Verification

Calcagno, Cristiano ; Distefano, Dino ; Dubreil, Jeremy ; Gabi, Dominik ; Hooimeijer, Pieter ; Luca, Martino ; O’Hearn, Peter ; Papakonstantinou, Irene ; Purbrick, Jim ; Rodriguez, Dulma Joshi, Rajeev ; Havelund, Klaus ; Holzmann, Gerard

NASA Formal Methods, p.3-11 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Formal analysis of a space-craft controller using SPIN
Formal analysis of a space-craft controller using SPIN
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal analysis of a space-craft controller using SPIN

Havelund, K. ; Lowry, M. ; Penix, J.

IEEE transactions on software engineering, 2001-08, Vol.27 (8), p.749-765 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
8
Model checking programs
Model checking programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Model checking programs

Visser, W. ; Havelund, K. ; Brat, G. ; Seungjoon Park

Automated Software Engineering: Proceedings of the 15th IEEE international conference on Automated software engineering; 11-15 Sept. 2000, 2000, p.3-11

IEEE

Texto completo disponível

Citações Citado por
9
Monitoring programs using rewriting
Monitoring programs using rewriting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Monitoring programs using rewriting

Havelund, K. ; Rosu, G.

Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001, p.135-143

IEEE

Texto completo disponível

Citações Citado por
10
Rule-Based Runtime Verification
Rule-Based Runtime Verification
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Rule-Based Runtime Verification

Barringer, Howard ; Goldberg, Allen ; Havelund, Klaus ; Sen, Koushik Levi, Giorgio ; Steffen, Bernhard

Lecture notes in computer science, 2004, p.44-57 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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. Anais de Congresso  (87)
  2. Artigos  (69)
  3. Book Chapters  (22)
  4. Livros  (6)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (23)
  2. 1991Até1999  (18)
  3. 2000Até2006  (50)
  4. 2007Até2015  (55)
  5. Após 2015  (41)
  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.