Formal Methods Applied to Complex Systems - Archive ouverte HAL
Chapitre D'ouvrage Année : 2014

Formal Methods Applied to Complex Systems

Domaines

Informatique [cs]

ammar Aljer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04490731

Soumis le : mardi 5 mars 2024-16:11:00

Dernière modification le : mardi 17 septembre 2024-16:01:52

Fichier non déposé

Dates et versions

hal-04490731 , version 1 (05-03-2024)

Identifiants

Citer

Jean‐louis Boulanger, Ammar Aljer, Georges Mariano. Formal Methods Applied to Complex Systems. Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series), 1, Wiley, 2014, 1848217099. ⟨10.1002/9781119002727⟩. ⟨hal-04490731⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS IFSTTAR UNIV-LILLE LGCGE IMT-NORD-EUROPE INSTITUT-MINES-TELECOM
12 Consultations
0 Téléchargements

Altmetric

Partager

More