verification

预订 Verification of Head and Neck External Beam Irradiation in Radiotherapy [9783330350465]，

【4周达】Verification, Model Checking, and Abstract Interpretation : 14th International Conference, V... [9783642358722]，

【4周达】Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occa... [9783642171710]，

【4周达】Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vm... [9783642182747]，

【4周达】Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, ... [9783642156427]，

预订 Formal Verification Of FDIR in Smart Grid [9786138388760]，

【4周达】Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 6... [9783540210023]，

【4周达】Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, ... [9783319633893]，

【4周达】Specification and Verification of Systolic Arrays [9789810238674]，

【4周达】Deductive Software Verification - The KeY Book : From Theory to Practice [9783319498119]，

【4周达】Fundamentals of IP and SoC Security : Design, Verification, and Debug [9783319500553]，

【4周达】Leveraging Applications of Formal Methods, Verification and Validation: Third International ... [9783540884781]，

预订 A Study on Speaker Verification [9786137380796]，

【4周达】Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020... [9783030591519]，

【4周达】Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach [9783642145377]，

【4周达】Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solvers [9783319892146]，

【4周达】Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Is... [9783642357459]，

【4周达】Progress in Automatic Signature Verification [9789810218522]，

【4周达】Metrics for Process Models : Empirical Foundations of Verification, Error Prediction, and Gu... [9783540892236]，

【4周达】Hardware and Software: Verification and Testing: 5th International Haifa Verification Confer... [9783642192364]，

【4周达】Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS 2... [9783642427435]，

【4周达】Low-Power Design and Power-Aware Verification [9783319666181]，

【4周达】Lectures on Runtime Verification : Introductory and Advanced Topics [9783319756318]，

【4周达】Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test [9783030075507]，

【4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and... [9783319339504]，

【4周达】Verification of Reactive Systems : Formal Methods and Algorithms [9783642055553]，

【4周达】Survey Control Points : Compatibility and Verification [9783319284569]，

【4周达】VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability: 24th I... [9783319671031]，

【4周达】System-on-Chip Security : Validation and Verification [9783030305987]，

【4周达】Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VM... [9783662491218]，