verification

现货Logic Synthesis and Verification Algorithms

【预订】Software Engineering: Specification, Implementation, Verification

【预售】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks (Softcover Rep...

【预订】Validation and Verification of Automated Systems

【预订】Facial Kinship Verification: A Machi...

【预订】Verification and Evaluation of Compu...

【预售】On-Treatment Verification Imaging

【预订】Hardware and Software: Verification ...

【预售】Embedded Software Verification and D...

【预售】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

【预订】Low-Power Design and Power-Aware Verification

【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

【预订】Verification of Computer Codes in Computational Science and Engineering

【预订】Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th Eai Internati...

【预售】Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification

【预售】Computer Aided Verification

【预订】Computer Aided Verification

【预订】Embedded Systems: Design, Analysis and Verification

【预售】String Analysis for Software Verification and Security

【预订】Gene Network Inference: Verification...

【预订】Verification, Model Checking, and Ab...

【预售】Electronic Design Automation for IC System Design, Verification, and Testing

【预售】Validation and Verification of Automated Systems: Results of the Enable-S3 Project

【预订】Runtime Verification

【预订】Runtime Verification

【预订】Deductive Software Verification – Th...

【预订】Security Policy in System-On-Chip Designs: Specification, Implementation and Verification

【预订】Hardware Verification with C++: A Pr...

【预售】Automated Validation & Verification ...

【预订】Deductive Software Verification: Future Perspectives