语义VerificationOperationalSemantics
Verification预订HardwareSoftware
模块化编译器VerificationRefinement
Verification验证StrategyHardware
VerificationMathematical预订Floating
ApplicationsVerificationLeveragingValidation
InterpretationVerification预订Checking
Verification预订ReactiveSystems
SystemVerilogVerification97814899950Testbench
Verification预订ComputerAided
系统工程VerificationEngineeringValidation
InternationaVerification嵌入式Embedded
SpecificationVerificationInteractive预订
Hardware断言VerificationGenerating
SystemverilogVerificationSystemVeriTestbench
Verification图像验证海外
Software软件测试医疗设备Verification
验证VerificationValidation海岸
InternationalVerification第三届Computer
第六届InternationalVerificationConference
InterpretationInternationalVerification抽象
简明VerificationAnnotationSoftware
InternationalVerificationTechnologyAutomated
VerificationFoundationsDevelopmentComputer
VerificationNumerical预订Software
可视化导论VisualizationIntroduction
体系结构CryptographicArchitectureVerification
VerificationSimulation符号Scalable
试验厂VerificationIndependentPerformance
9781441954206Verification预订Advanced
9783739241241VerificationConcurrentEmbedded
9781013271014VerificationComputer印刷
VerificationTechnologyAutomated验证
PhotovoltaicOptimizationVerificationPerformance
