InterpretationInternationalVerification抽象
开放式VerificationMethodologyCookbook
VerificationTechniquesSoftwareChecking
语义VerificationOperationalSemantics
模块化编译器VerificationRefinement
验证建模VerificationVerificatio
SpecificationVerificationProtocol验证
VerificationProceduresValidationArtificial
InternationaVerification嵌入式Embedded
体系结构CryptographicArchitectureVerification
形式化InternationalVerificationConference
硬件设计VerificationHardwareAdvanced
Geotechnical岩土工程constructionverification
预售TechnologiesVerificationBiometric
9783639081428VerificationInterlockAnalysis
2025InternationalVerificationConference
质量检验建模9780471727835Verification
