Verification of Digital and Hybrid Systems, Fachbücher

Verification Of Digital And Hybrid Systems 1988

Modeling, Simulation, And Verification Of Stochastic Hybrid Systems |

Verification and Control of Hybrid Systems, Fachbücher von Paulo Tabuada

Verification and Synthesis of Digital Circuits, Fachbücher

Verification And Control Of Hybrid Systems A Symbolic Approach 1420

Verification and Evaluation of Computer and Communication Systems, Fachbücher von Mohamed Kaâniche, Pierre Ganty

Interactive Systems: Design, Specification, and Verification, Fachbücher

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

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

Verification and Evaluation of Computer and Communication Systems, Fachbücher von Kamel Barkaoui, Hanifa Boucheneb, Ali ...

Verification and Evaluation of Computer and Communication Systems, Fachbücher von Bruno Monsuez, Simon Bliudze, Mohamed ...

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

Design and Verification of Microprocessor Systems for High-Assurance Applications, Fachbücher von David S. Hardin

Validation and Verification of Automated Systems, Fachbücher von Daniel Watzenig, Andrea Leitner, Javier Ibanez-Guzman

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi, Fachbücher von Ale...