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

Formal Modeling And Verification Of Cyber-physical Systems 1st

Formal Verification of Circuits, Fachbücher von Rolf Drechsler

Formal System Verification, Fachbücher von Rolf Drechsler

Rolf Drechsler | Formal Verification Of Circuits | Buch | Englisch

Rolf Drechsler | Formal System Verification | Buch | Englisch (2017) |

Cyber Physical Systems. Design, Modeling, and Evaluation, Fachbücher von Walid Taha, Martin Törngren, Roger Chamberlain

Formal Modeling and Analysis of Timed Systems, Fachbücher

Formal Specification Level, Fachbücher von Rolf Drechsler, Mathias Soeken

Cyber-physical Energy And Power Systems Modeling, Analysis And

Control of Cyber-Physical Systems, Fachbücher

Data-Driven Modeling of Cyber-Physical Systems using Side-Channel Analysis, Fachbücher von Mohammad Abdullah Al Faruque,...

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, Fachbücher von Bernhard Ste...

Safe and Secure Cyber-Physical Systems and Internet-of-Things Systems, Fachbücher von Marilyn Wolf, Dimitrios Serpanos

A Journey of Embedded and Cyber-Physical Systems, Fachbücher von Jian-Jia Chen

Data-driven Modeling Of Cyber-physical Systems Using Side-channel