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

Rolf Drechsler | Formal Verification Of Circuits | Buch | Englisch

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

Modeling, Simulation, and Verification of Stochastic Hybrid Systems, Fachbücher

Formal Modeling and Analysis of Timed Systems, Fachbücher

Control of Cyber-Physical Systems, Fachbücher

Cyber-physical Energy And Power Systems Modeling, Analysis And

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems, Fachbücher

Formal Verification of Circuits, Fachbücher von Rolf Drechsler

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

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

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky C...

MAC Protocols for Cyber-Physical Systems, Fachbücher

Security Of Industrial Control Systems And Cyber Physical Systems

Optimal Mobile Sensing and Actuation Policies in Cyber-physical Systems, Fachbücher von YangQuan Chen