verification

预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

预订 Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proc

预订 Verification Of Systems And Circuits Using Lotos, Petri Nets, And Ccs 利用LOTOS、Petri Nets 与CCS进行系统与电路的核

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 25th International Conference, ... [9783031505201]

【3-4周达】Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July... [9783031377082]

预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ

【3-4周达】Principles of Verifiable RTL Design : A functional coding style supporting verification pr... [9781475773132]

预订 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive

【3-4周达】Taxonomies for the Development and Verification of Digital Systems [9781441936813]

预订 Guide to Software Verification with Frama-C

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

预订 Breaking Barriers in HW-to-SW Stack Verification Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime

【3-4周达】精装 The Science of Biometrics: Security Technology for Identity Verification [9781138594425]

【3-4周达】精装 Verification by Error Modeling : Using Testing Techniques in Hardware Verification [9781402076527]

【3-4周达】精装 IP Cores Design from Specifications to Production : Modeling, Verification, Optimizat... [9783319220345]

[预订]Automated Technology for Verification and Analysis 9783031453311

【3-4周达】Verification of Sequential and Concurrent Programs (Third Edition 2009) [9781447125136]

【3-4周达】Professional Verification: A Guide to Advanced Functional Verification [9781475784831]

【3-4周达】精装 Verification and Analysis of Computer Systems [9781647253752]

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

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 26th International Conference, ... [9783031826993]

【3-4周达】Formal Verification of Floating-Point Hardware Design : A Mathematical Approach (Second Ed... [9783030871833]

【3-4周达】Verification and Evaluation of Computer and Communication Systems: 16th International Conf... [9783031497360]

【3-4周达】Design, Specification and Verification of Interactive Systems '97 : Proceedings of the Eur... [9783211830550]

【3-4周达】精装 Handbook of Computer Aided Verification [9781647284404]

【3-4周达】精装 The e Hardware Verification Language [9781402080234]

【3-4周达】精装 Functional Verification Coverage Measurement and Analysis [9781402080258]

预订 An Introduction to Verification of Visualization Techniques

【3-4周达】Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE... [9781475752601]

【3-4周达】Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 20... [9783319024431]