Verification Of Digital And Hybrid Systems 1988

Modeling, Simulation, And Verification Of Stochastic Hybrid Systems |

Verification of Digital and Hybrid Systems, Fachbücher

Verification And Control Of Hybrid Systems A Symbolic Approach 1420

Strategies For Improving Verification Techniques For Hybrid Systems

Validation And Verification Of Automated Systems Results Of The

Verification And Evaluation Of Computer And Communication Systems 13th

Simulation And Verification Of Electronic And Biological Systems 2829

Specification And Verification Of Multi-agent Systems 2832

Design And Verification Of Microprocessor Systems For High-assurance

David S. Hardin | Design And Verification Of Microprocessor Systems

Validation And Verification Of Knowledge Based Systems Theory, Tools

Formal Modeling And Verification Of Cyber-physical Systems 1st

Verification And Synthesis Of Digital Circuits High-level Synthesis

Verification And Synthesis Of Digital Circuits | Chandan Karfa (u. A.)

Vibration And Coupling Of Continuous Systems Asymptotic Methods 1988