Boulanger, Jean-Louis

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