verification

【4周达】Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Fe... [9783319961415]，

预订 The verification of the pluvio-thermal regionalizations of the climate [9783330053144]，

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

【4周达】Hardware and Software: Verification and Testing: 13th International Haifa Verification Confe... [9783319703886]，

【4周达】Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joi... [9783540439134]，

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

【4周达】Hardware and Software, Verification and Testing: First International Haifa Verification Conf... [9783540326045]，

【4周达】Software Verification and Analysis : An Integrated, Hands-On Approach [9781849968294]，

【4周达】Hardware and Software: Verification and Testing: 10th International Haifa Verification Confe... [9783319133379]，

【4周达】Security Policy in System-on-Chip Designs : Specification, Implementation and Verification [9783319934631]，

【4周达】Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models [9783642423161]，

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

【4周达】Verification of Computer Codes in Computational Science and Engineering [9781584882640]，

【4周达】Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, Septemb... [9783642298592]，

【4周达】Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach [9783642069420]，

【4周达】New Data Structures and Algorithms for Logic Synthesis and Verification [9783319431734]，

【4周达】Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, US... [9783319216676]，

【4周达】Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded S... [9783642388521]，

【4周达】Leveraging Applications of Formal Methods, Verification, and Validation: 6th International S... [9783319516400]，

【4周达】Validation and Verification of Automated Systems : Results of the ENABLE-S3 Project [9783030146276]，

预订 Consumer Verification System for Authentic Product [9783330028548]，

【4周达】Design and Verification of Microprocessor Systems for High-Assurance Applications [9781489984593]，

【4周达】Nuclear Non-proliferation and Arms Control Verification : Innovative Systems Concepts [9783030295363]，

【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]，

【4周达】Verification of Sequential and Concurrent Programs [9781848827448]，

【4周达】Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach [9783319470146]，

【4周达】Electronic Design Automation for IC System Design, Verification, and Testing [9781138586000]，

【4周达】Current Trends in Hardware Verification and Automated Theorem Proving [9781461281955]，

【4周达】Software Engineering: Specification, Implementation, Verification [9783319615172]，

【4周达】Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 200... [9783540892465]，