BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B - Université Polytechnique des Hauts-de-France Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Samuel Colin
  • Fonction : Auteur
  • PersonId : 837524
Dorian Petit
Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201

Domaines

Informatique [cs]

Julie Cagniard  : Connectez-vous pour contacter le contributeur

https://uphf.hal.science/hal-03517848

Soumis le : samedi 8 janvier 2022-10:58:25

Dernière modification le : vendredi 10 novembre 2023-08:56:28

Fichier non déposé

Dates et versions

hal-03517848 , version 1 (08-01-2022)

Identifiants

  • HAL Id : hal-03517848 , version 1

Citer

Samuel Colin, Dorian Petit. BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B. Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-VALENCIENNES LAMIH
12 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More