acorss
这家伙很懒，什么也没写
Ta上传的资源 (0)
VERIFICATION BY ERROR MODELING
VERIFICATION BY ERROR MODELING
LNCS20096Computer Aided Verification
LNCS2009-6ComAidedVeri
Computer Aided Verification
ComputerAidedVerification
Hardware Design Verification Simulation
HardwareDesignVerificationSimulation
LNCS2009_6Web Engineering
WebEngineeringDesignDevelop
Adaptive Software Systems
LNCS2009-6ArchitecturesforAdaptiveSoftwareSystems
Formal Method Formal Verification for Digital Circuit Design
FormalMethod\FormalVerificationforDigitalCircuitDesign
LNCS2009_6RewritingTechniquesandApplications
LNCS2009-6RewritingTechniquesandApplications
Finite_StateConcurrentSystemVerification
AutomaticVerificationofFinite-StateConcurrentSystemUsingTemporalLogicSpecifications
Multi_CriterionOptimization
LNCS2009-4EvolutionaryMulti-CriterionOptimization