BRILLANT: an open source platform for B - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

BRILLANT: an open source platform for B

Résumé

This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Mots clés

B method tool support XML

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
2010-02-Colin-WSTBFM.pdf (248.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Samuel Colin  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00480709

Soumis le : mardi 4 mai 2010-17:30:24

Dernière modification le : lundi 9 septembre 2024-14:22:03

Archivage à long terme le : jeudi 16 septembre 2010-12:43:03

Télécharger pour visualiser

Dates et versions

inria-00480709 , version 1 (04-05-2010)

Identifiants

  • HAL Id : inria-00480709 , version 1

Citer

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez. BRILLANT: an open source platform for B. Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-VALENCIENNES IFSTTAR LAMIH UNIV-EIFFEL
240 Consultations
452 Téléchargements

Partager

More