BRILLANT: an open source platform for B

Samuel Colin 1, * Dorian Petit 2 Georges Mariano 3 Vincent Poirriez 2
* Auteur correspondant
1 Chercheur indépendant
2 LAMIH - Laboratoire d'automatique et de mécanique industrielles et humaines
3 INRETS/ESTAS - Evaluation des Systèmes de Transports Guidés et leur Sécurité
Abstract : This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.
Keywords : B method tool support XML
Type de document :
Communication dans un congrès
Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. 2010
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00480709
Contributeur : Samuel Colin <>
Soumis le : mardi 4 mai 2010 - 17:30:24
Dernière modification le : lundi 9 avril 2018 - 12:20:04
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 12:43:03

Fichier

2010-02-Colin-WSTBFM.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00480709, version 1

Collections

IFSTTAR

Citation

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. 2010. 〈inria-00480709〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

234

Téléchargements de fichiers

158

Contact


archive-ouverte@inria.fr