Showing results for "helmut veith"
Showing 1 - 1 of 1 Results
Adult content is visible.
- Series -
- Cyber Physical Systems Series
2018
EN
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method ...
PHP3,357.69
