Formal Methods Applied to Complex Systems - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2014
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⟩
2 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More