微分方程数值VerificationNumerical
行时VerificationProcessors处理器
形式化方法VerificationAutomatedCritical
条约物体VerificationApproaches
InternationalVerificationTechnologyAutomated
开放式VerificationMethodologyCookbook
Power功耗感知Verification
ApplicationsVerificationLeveragingValidation
并发VerificationSequentialConcurrent
Implementation9783031334573VerificationTechnologies
Verification仿真SimulationElectronic
求解SatisfiabilityVerificationValidation
VerificationFundamentals调试Soc
9783031377082Verification预订Computer
9781013271175Verification预订Computer
英文预售VerificationHierarchical
行时InternationalVerification研讨
控制点兼容性CompatibilityVerification
独轮车动力学建模Experimental
InternationalVerificationConferenceVancouver
VerificationTechnologyAutomated验证
Transformation9783031314759VerificationDeclarative
信号处理器探测器粒子Verification
Checking9783031301667VerificationAnnotation
军备核查Proliferation扩散
9781013271168Verification预订Computer
InternationaVerification嵌入式Embedded
介绍性行时VerificationIntroductory
SystemverilogVerificationDescriptionRtl
InternationalVerificationConferenceComputer
9781013271144Verification预订Computer
Verification展望DeductiveSoftware
形式化方法ApplicationsVerificationLeveraging
Verification预订AdvancesAutomata
9781013271151Verification预订Computer
VerificationHardwareSoftware验证
行时国际会议InternationalVerification
验证ApplicationsVerificationLeveraging
Verification预订ComputerAided
