Skip to Main content Skip to Navigation
Book sections

Formalization of Digital Circuits Using the B Method

Jean-Louis Boulanger Ammar Aljer 1, 2
1 University of Lille
2 univresity of aleppo
Document type :
Book sections
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03526436
Contributor : Ammar Aljer Connect in order to contact the contributor
Submitted on : Friday, January 14, 2022 - 2:46:03 PM
Last modification on : Saturday, January 15, 2022 - 3:15:46 AM

Identifiers

Collections

UNIV-ARTOIS | UNIV-LILLE

Citation

Jean-Louis Boulanger, Ammar Aljer. Formalization of Digital Circuits Using the B Method. Formal Methods Applied to Complex Systems, John Wiley & Sons, Inc., pp.151-185, 2014, ⟨10.1002/9781119002727.ch6⟩. ⟨hal-03526436⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles