ARTIST-2009-Summer-School-Beijing(4)

【文件属性】：

文件名称：ARTIST-2009-Summer-School-Beijing(4)

文件大小：14.4MB

文件格式：RAR

更新时间：2012-08-25 10:41:30

实时系统的验证

Verification,Performance Analysis and Controller Synthesis of Real Time Systems