Specification and Seamless Verification of Embedded Real-Time Systems - FOCUS on
66,10 €
The specification and verification/validation. The deep embedding into Isabelle/HOL includes all these extensions. + Schemata for automatic correctness proofs in Isabelle/HOL of the syntactic interfaces for specified system components.
Jetzt bei Ebay:
