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 Principles, Fachbücher von Tiziana ...

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

Formal System Verification, Fachbücher von Rolf Drechsler

Introduction to Formal Hardware Verification, Fachbücher

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

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

Development and Formal Verification of TTCAN, Ratgeber

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

A Roadmap for Formal Property Verification, Fachbücher

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

Formal Methods, Fachbücher von Naijun Zhan, Corina Pasareanu, Marieke Huisman