Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method

Formal Methods Applied to Industrial Complex Systems:Implementation of the B Method

by: Boulanger, Jean-Louis

Publisher: Wiley ( 2014-07-22 )

ISBN-13: 9781848217096

e-ISBN-13: 9781119002680

ISBN-10: 1848217099

Edition: 1

Language: English