No products in the cart.
Return to shop
Showing all 3 results
eBook PDF
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems 1st edition by David Navarre, Philippe Palanque, Sandra Basnyat ISBN 3540876977 9783540876977
Handling Safety Critical Requirements in System Engineering Using the B Formal Method 1st Edition by Didier Essame ISBN 9783540301387
Modelling Support for Design of Safety-Critical Automotive Embedded Systems 1st edition by DeJiu Chen, Rolf Johansson, Henrik Lonn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Torner, Martin Torngren ISBN 3540876977 9783540876977
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
