High-level Verification Methods And Tools For Verification Of

Verification And Synthesis Of Digital Circuits High-level Synthesis

Methods And Procedures For The Verification And Validation Of

Tools For Design, Implementation And Verification Of Emerging

Design And Verification Of Microprocessor Systems For High-assurance

Numerical Verification Methods And Computer-assisted Proofs For

Leveraging Applications Of Formal Methods, Verification And

Brian J Taylor | Methods And Procedures For The Verification And

High-level Estimation And Exploration Of Reliability For

Modeling, Verification And Exploration Of Task-level Concurrency In

Sudipta Kundu (u. A.) | High-level Verification | Taschenbuch |

Validation And Verification Of Knowledge Based Systems Theory, Tools

Computational Methods In Transport: Verification And Validation

Economic Tools And Methods For The Analysis Of Global Change Impacts

An Analysis Of Two Levels Of High School Spanish Textbooks A Method

Tools For Practical Software Verification International Summer School,