skip to main content
Você quis dizer: julliane j?
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

2
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, Vol.21(1), pp.127-158 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
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. ; Voiron, G.

Programming and Computer Software, 2018, Vol.44(1), pp.1-14 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
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, Vol.207(6), pp.681-698 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests

Bouquet, F ; Bue, P.-C ; Julliand, J ; Masson, P.-A

2010 Third International Conference on Software Testing, Verification, and Validation Workshops, April 2010, pp.54-61

Texto completo disponível

6
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Refinemant verification of fair transition systems can contribute to PLTL model checking

Bellegarde, F ; Chouali, S ; Julliand, J

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05, 2005, pp.166-175

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

Quantification of the energy expenditure during training exercises in Standardbred trotters

Fortier, J ; Deley, G ; Goachet, A.-G ; Julliand, V

animal, 2015, Vol.9(5), pp.793-799 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Estimating energy expenditure from VO2 measurementsduring a field submaximal exercise in Standardbred trotters

Fortier, J ; Goachet, A.G ; Julliand, V ; Deley, G

Journal of Equine Veterinary Science, May 2013, Vol.33(5), pp.325-325 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Current feeding and exercise practices the day of the race in French Standardbred trotters

Fortier, J ; Julliand, V ; Harris, P.A ; Goachet, A.G

Journal of Equine Veterinary Science, May 2013, Vol.33(5), pp.348-348 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

Effect of prebiotic supplementation in mares on the evolution of the digestive ecosystem in feces of suckling foals from birth to pre-weaning period (6 months)

Faubladier, C ; Philippeau, C ; Danel, J ; Julliand, V

Journal of Equine Veterinary Science, May 2011, Vol.31(5-6), pp.280-280 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (11)
  2. Anais de Congresso  (2)
  3. Book Chapters  (2)
  4. Livros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2009  (2)
  2. 2009Até2010  (2)
  3. 2011Até2012  (3)
  4. 2013Até2015  (5)
  5. Após 2015  (4)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Julliand, J
  2. Julliand, V.
  3. Masson, P.-A
  4. Bué, P.-C.
  5. Kouchnarenko, O.

Buscando em bases de dados remotas. Favor aguardar.