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...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Zhan, Naijun (Yazar), Wang, Shuling (Yazar), Zhao, Hengjun (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: e-Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : 2017.
Imprint: Springer,
Edisyon:1st ed. 2017.
Konular:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronic Circuits and Systems.
Processor Architectures.
Online Erişim:Full-text access

Internet

Full-text access

Merkez Kütüphane

Detaylı Erişim Bilgileri Merkez Kütüphane
Kopya Bilgisi UnknownBarcode

Benzer Materyaller