Boulanger, Jean-Louis

Auteur
E-book, CENELEC 50128 and IEC 62279 Standards, Wiley
E-book, Formal Methods Applied to Complex Systems : Implementation of the B Method, Wiley
E-book, Formal Methods Applied to Industrial Complex Systems, Wiley
E-book, Formal Methods : Industrial Use from Model to the Code, Wiley
page 1 of 1