中商预售SpecificationVerification
并发Verification嵌入式Exploration
VerificationPrinciplesFunctional验证
VerificationEngineeringIndependent现货
分布式Methodologies控制系统Verification
英文质量检验建模Verification
VerificationInternatonalConference第二届
InternationalVerificationConferencePrinceton
交互式SpecificationInternationalVerification
ApplicationsVerificationLeveragingValidation
InternationalVerificationComputerWorkshop
FunctionalitySpecificationVerification几何
VerificationSimulation符号Scalable
InterpretationInternationalVerification抽象
InternationalVerificationConferenceEdinburgh
可编程体系结构ArchitecturesVerification
InternationalVerificationConferenceCopenhagen
VerificationTestbenchesFunctionalHdl
VerificationComparisonHardware验证
LOTOSPetri英文核查
硬件设计VerificationHardwareAdvanced
InternationalVerificationConferenceComputer
InternationalVerificationTechnologyAutomated
明式TransformationVerificationDeclarative
产品规格FunctionalitySpecificationVerification
Verification仿真SimulationIndustrial
并发VerificationSequentialConcurrent
验证ApplicationsVerificationLeveraging
VerificationLanguagesAnalysisMultiple
VerificationIII混合验证
ToolsImplementationVerificationInformation
交互式SpecificationVerificationEurographics
CommunicationVerificationEvaluationComputer
软件工程VerificationEngineeringEmpirical
国际会议InternationalVerificationConference
