skip to main content
Including "method computer programming"   Just search B Method (Computer Science)
Resultados 1 2 3 4 5 next page
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
B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

International B Conference (2nd 1998 Montpellier, France) Didier Bert

Berlin Springer New York c1998

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

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Proof assisted bounded and unbounded symbolic model checking of software and system models

Krings, Sebastian ; Leuschel, Michael

Science of Computer Programming, 15 June 2018, Vol.158, pp.41-63 [Periódico revisado por pares]

Texto completo disponível

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

A formal validation of the RBAC ANSI 2012 standard using B

Huynh, Nghi ; Frappier, Marc ; Mammar, Amel ; Laleau, Régine ; Desharnais, Jules

Science of Computer Programming, 01 December 2016, Vol.131, pp.76-93 [Periódico revisado por pares]

Texto completo disponível

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

Translating B to TLA+ for validation with TLC

Hansen, Dominik ; Leuschel, Michael

Science of Computer Programming, 01 December 2016, Vol.131, pp.109-125 [Periódico revisado por pares]

Texto completo disponível

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

Combining Proof and Model-checking to Validate Reconfigurable Architectures

Lanoix, Arnaud ; Dormoy, Julien ; Kouchnarenko, Olga

Electronic Notes in Theoretical Computer Science, 12 December 2011, Vol.279(2), pp.43-57 [Periódico revisado por pares]

Texto completo disponível

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

Tableaux Modulo Theories using Superdeduction - An Application to the Veri fication of B Proof Rules with the Zenon Automated Theorem Prover

Jacquel, Mélanie ; Berkani, Karim ; Delahaye, David ; Dubois, Catherine Jacquel, Mélanie (Editor)

Journal of Automated Reasoning, June 2012, Vol.7364, pp.332-338 [Periódico revisado por pares]

Texto completo disponível

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

Exploring trust region method for the solution of logit-based stochastic user equilibrium problem

Zhou, Bojian ; Li, Xuhong ; He, Jie

European Journal of Operational Research, 16 November 2014, Vol.239(1), pp.46-57 [Periódico revisado por pares]

Texto completo disponível

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

The role of user requirements in data repository design

Boukhari, Ilyes ; Jean, Stéphane ; Ait-Sadoune, Idir ; Bellatreche, Ladjel Ladjel.Bellatreche@Ensma.Fr Ait Sadoune, Idir (Editor)

International Journal on Software Tools for Technology Transfer, 2018, Vol.20(1), pp.19--34 [Periódico revisado por pares]

Texto completo disponível

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

Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems: with application to Population Protocols

Méry, Dominique ; Poppleton, Mike Méry, Dominique (Editor)

Software and Systems Modeling, 02 October 2017, Vol.16(4), pp.1083--1115 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
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  (57)
  2. Anais de Congresso  (19)
  3. Dissertações  (2)
  4. Livros  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1998  (6)
  2. 1998Até2006  (13)
  3. 2007Até2010  (22)
  4. 2011Até2015  (22)
  5. Após 2015  (17)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Méry, Dominique
  2. Frappier, Marc
  3. Mammar, Amel
  4. Cansell, Dominique
  5. Leuschel, Michael

Buscando em bases de dados remotas. Favor aguardar.