Formal Methods Applied to Industrial Complex Systems: Implementation of the B Me
260,84 €
Jean-Louis BOULANGER 1.1. Introduction1 1.2. Standard process 2 1.2.1. Risks, undesirable events and accidents 2 1.2.2. Usual process 7 1.2.3. Formal software processes for safety-critical systems 8 1.2.4.
Jetzt bei Ebay:
