skip to main content
Idioma:
Você quis dizer: julliane j?
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tests and Proofs
Tests and Proofs
Material Type:
Livro 		Adicionar ao Meu Espaço

Tests and Proofs

David Hutchison Takeo Kanade; Jacques Julliand; Josef Kittler

Springer Berlin Heidelberg 2012

Acesso online

2
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings

International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

3
Test Generation from Event System Abstractions to Cover Their States and Transitions
Test Generation from Event System Abstractions to Cover Their States and Transitions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Test Generation from Event System Abstractions to Cover Their States and Transitions

Julliand, J. ; Kouchnarenko, O. ; Masson, P. A. ; Voiron, G.

Programming and computer software, 2018, Vol.44 (1), p.1-14 [Periódico revisado por pares]

Moscow: Pleiades Publishing

Texto completo disponível

Citações Citado por
4
B model slicing and predicate abstraction to generate tests
B model slicing and predicate abstraction to generate tests
Material Type:
Artigo 		Adicionar ao Meu Espaço

B model slicing and predicate abstraction to generate tests

Julliand, J. ; Stouls, N. ; Bué, P.-C. ; Masson, P.-A.

Software quality journal, 2013-03, Vol.21 (1), p.127-158 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
5
Partitioned PLTL model-checking for refined transition systems
Partitioned PLTL model-checking for refined transition systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Partitioned PLTL model-checking for refined transition systems

Julliand, J. ; Masson, P.-A. ; Oudot, E.

Information and computation, 2009-06, Vol.207 (6), p.681-698 [Periódico revisado por pares]

Amsterdam: Elsevier Inc

Texto completo disponível

Citações Citado por
6
Your Proof Fails? Testing Helps to Find the Reason
Your Proof Fails? Testing Helps to Find the Reason
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Your Proof Fails? Testing Helps to Find the Reason

Petiot, Guillaume ; Kosmatov, Nikolai ; Botella, Bernard ; Giorgetti, Alain ; Julliand, Jacques Furia, Carlo A. ; Aichernig, Bernhard K.

Tests and Proofs, p.130-150 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
PLTL-partitioned model checking for reactive systems under fairness assumptions
PLTL-partitioned model checking for reactive systems under fairness assumptions
Material Type:
Artigo 		Adicionar ao Meu Espaço

PLTL-partitioned model checking for reactive systems under fairness assumptions

Chouali, S. ; Julliand, J. ; Masson, P.-A. ; Bellegarde, F.

ACM transactions on embedded computing systems, 2005-05, Vol.4 (2), p.267-301 [Periódico revisado por pares]

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
How to compile systems of recurrence equations into networks of communicating processes
How to compile systems of recurrence equations into networks of communicating processes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

How to compile systems of recurrence equations into networks of communicating processes

Eglin-Leclerc, M. C. ; Julliand, J. ; Perrin, G. R. Bougé, Luc ; Robert, Yves ; Trystram, Denis ; Cosnard, Michel

Parallel Processing: CONPAR 92—VAPP V, 2005, p.795-796 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Parallelization of an algorithm used to simulate Atomic Force Microscope images
Parallelization of an algorithm used to simulate Atomic Force Microscope images
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Parallelization of an algorithm used to simulate Atomic Force Microscope images

Bigeard, R. ; Devel, M. ; Julliand, J. Sloot, Peter ; Hertzberger, Bob

High-Performance Computing and Networking, 1997, p.175-189 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Reformulation: A Way to Combine Dynamic Properties and B Refinement
Reformulation: A Way to Combine Dynamic Properties and B Refinement
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Reformulation: A Way to Combine Dynamic Properties and B Refinement

Bellegarde, F. ; Darlot, C. ; Julliand, J. ; Kouchnarenko, O. Zave, Pamela ; Oliveira, José Nuno

FME 2001: Formal Methods for Increasing Software Productivity, 2001, Vol.2021, p.2-19 [Periódico revisado por pares]

Germany: 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. Artigos  (52)
  2. Book Chapters  (12)
  3. Anais de Congresso  (5)
  4. Livros  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1997  (10)
  2. 1997Até2002  (9)
  3. 2003Até2007  (12)
  4. 2008Até2013  (19)
  5. Após 2013  (22)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (51)
  2. Francês  (23)
  3. Japonês  (1)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Julliand, J
  2. International B Conference
  3. Hutchison, D
  4. Kouchnarenko, O
  5. Kittler, J

Neste Assunto:

  1. Science & Technology
  2. Life Sciences
  3. Life Sciences & Biomedicine
  4. Horses
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.