Book Sections
Year : 2014
ammar Aljer : Connect in order to contact the contributor
https://hal-univ-artois.archives-ouvertes.fr/hal-03526436
Submitted on : Friday, January 14, 2022-2:46:03 PM
Last modification on : Tuesday, January 18, 2022-5:50:03 PM
Cite
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⟩
Collections
7
View
0
Download