系统工程VerificationEngineeringValidation
路线图VerificationProperty属性
InternationalVerificationConferenceComputer
VerificationMulticastAnalysisReliable
ParameterizedDecidabilityVerification验证
VerificationComputer辅助验证
并发Verification嵌入式Exploration
SpecificationVerificationInteractiveProceedings
InternationalVerificationConferenceEdinburgh
微处理器SecdMicroprocessorVerification
ComputerInternationalVerificationConference
信号处理器探测器粒子Verification
Verification安全性TemporalReactive
克里归纳Verification终止
交互式SpecificationVerificationEurographics
ApplicationsVerificationLeveragingValidation
VerificationHardwareSoftware验证
NavierStokesInvestigationVerification
行时软件测试VerificationApproaches
验证ApplicationsVerificationLeveraging
FunctionalitySpecificationVerification几何
硬件设计VerificationHardwareAdvanced
VerificationFunctionalPrinciplesEffective
InternationalVerificationHardwareSoftware
InterpretationInternationalVerification抽象
VerificationTechnologyAutomatedAnalysis
数值VerificationNumericalSoftware
医药图书InternationalVerificationConference
形式化方法Verification算法Algorithms
VerificationAdvanced验证形式
检定VerificationComputer辅助
核电站火灾选定Verification
