自动机时间PetriVerification
VerificationValidation预订Systems
ApplicationsVerificationLeveragingValidation
InternationalVerificationTechnologyAutomated
InternationalVerificationConferenceEdinburgh
Verification预订ComputerAided
VerificationValidationAutomated预订
遗传学Verification推理基因
InterpretationVerification抽象Checking
C++Verification预订Hardware
VerificationComputer辅助验证
C++实践者Practitioner'sVerification
预售CertificationVerificationReliability
Verification安全性TemporalReactive
代数和建模Probabilistic概率
9783030816872Verification预订Computer
VerificationComputationScientificAutomatic
9783030837228ApplicationsVerificationLeveraging
并发VerificationSequentialConcurrent
定理VerificationAutomatedHardware
克里归纳Verification终止
Verification现状验证趋势
9781013271151VerificationComputer印刷
预售IntroductionVerificationHardware
SystemcVerificationSimulationEfficient
InternationalVerificationHardwareSoftware
ApplicationsVerificationEngineeringLeveraging
建模Verification嵌入式Synthesis
预售ApplicationsVerificationDistributed
医药图书InternationalVerificationConference
CommunicationVerificationEvaluation预订
Implementation9783031334573VerificationTechnologies
字符串VerificationAnalysisSoftware
SystemverilogVerificationDescriptionRtl
VerificationSequentialAutomaticProcesses
求解SatisfiabilityVerificationValidation
9789811317583VerificationPerformanceTechnology
