Formal Verification of Simulink/Stateflow Diagrams, Fachbücher von Naijun Zhan, Hengjun Zhao, Shuling Wang

Formal Verification Of Simulink/stateflow Diagrams A Deductive

Semi-physical Verification Technology for Dynamic Performance of Internet of Things System, Fachbücher von Zhimin Zhao, ...

Formal Verification of Circuits, Fachbücher von Rolf Drechsler

Leveraging Applications of Formal Methods, Verification and Validation. Verification, Fachbücher von Tiziana Margaria, B...

Formal Semantics and Verification Of Use Case Maps, Fachbücher

Introduction to Formal Hardware Verification, Fachbücher

Formal System Verification, Fachbücher von Rolf Drechsler

Formal Verification of Space Missions Communication Protocols, Fachbücher von Muhammad Taimoor Khan

Formal Verification of Floating-Point Hardware Design, Fachbücher von David M. Russinoff

Scalable Bit-precise Formal Verification of Embedded Software, Fachbücher von Nannan He

Development and Formal Verification of TTCAN, Ratgeber

A Roadmap for Formal Property Verification, Fachbücher

Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Anna-Lena Lamprecht

Automata based formal approach for verification of Web Service, Fachbücher von Danapaquiame N.

Formal Modeling and Verification of Cyber-Physical Systems, Fachbücher von Ulrich Kühne, Rolf Drechsler