自定义博客皮肤VIP专享

*博客头图：

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

u011168556的专栏

  • 博客(0)
  • 资源 (21)
  • 收藏
  • 关注
排序：
按最后发布时间
按访问量
RSS订阅

空空如也

Graph theory
graph computer science 图形理论

2013-06-23

Description Logic(Cambridge 2003)
Description Logic 记述逻辑

2013-06-23

Dependence Logic
Dependence Logic/依靠逻辑

2013-06-23

LNCS 2009-6 Rewriting Techniques and Applications
LNCS 2009-6 Rewriting Techniques and Applications

2013-06-23

LNCS 2009-6 Web Engineering
Web Engineering Design Develop

2013-06-23

LNCS 2009-6 Computer Aided Verification
LNCS 2009-6ComAidedVeri

2013-06-23

Logic in Computer Science
Logic in Computer Science

2013-06-23

Standardized Functional Verification
Standardized Functional Verification

2013-06-23

Verifiation Tools for Finite State Concurrent Systems
Verifiation Tools for Finite State Concurrent Systems

2013-06-23

Distributed Computing
LNCS 2009-6 Distributed Computing in Sensor Systems

2013-06-22

Adaptive Software Systems
LNCS 2009-6 Architectures for Adaptive Software Systems

2013-06-22

Multi-Criterion Optimization
LNCS 2009-4 Evolutionary Multi-Criterion Optimization

2013-06-22

VERIFICATION BY ERROR MODELING
VERIFICATION BY ERROR MODELING

2013-06-22

Hardware Design Verification Simulation
Hardware Design Verification Simulation

2013-06-22

Embedded Architectures verification
Functional Verification of Programmable Embedded Architectures

2013-06-22

Constraint-Based Verification
Constraint-Based Verification

2013-06-22

Computer Aided Verification
Computer Aided Verification

2013-06-22

Finite-State Concurrent System Verification
Automatic Verification of Finite-State Concurrent System Using Temporal Logic Specifications

2013-06-22

Aspect-Oriented Programming with the Verificaiton Language
Aspect-Oriented Programming with the Verificaiton Language

2013-06-22

Algebraic Formal Method
Algibraic formal verification method.

2013-06-22

Advanced Formal Verification
Formal verificaiont of software

2013-06-22

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章？
取消 删除