Formal Methods Applied to Industrial Complex Systems by Jean-Louis Boulanger Back to product details page >