Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach /

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Rea...

Full description

Bibliographic Details
Main Authors: Zhan, Naijun (Author), Wang, Shuling (Author), Zhao, Hengjun (Author)
Corporate Author: SpringerLink (Online service)
Format: e-Book
Language:English
Published: Cham : Springer International Publishing : 2017.
Imprint: Springer,
Edition:1st ed. 2017.
Subjects:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronic Circuits and Systems.
Processor Architectures.
Online Access:Full-text access

Internet

Full-text access

Merkez Kütüphane

Holdings details from Merkez Kütüphane
Copy UnknownBarcode

Similar Items