PDF《520 计算机科 学技术》

编辑： 苹果的酸 2013-05-30

0 0

0 8

0 ) ,曹子宁 / / J o u r n a l o f Co mp u t e r S c i e n c e a n d T e c h n o l o g y . 一2004,l9(4).―'

4 5

9 ~

4 7 l 为了对实时传值系统模型检测,本文提 出了一个形式语言. 实时符号迁 移图和 一 个逻辑系统. 实时谓词 演算. 本文提 出了一个局部........

下载（注：源文件不在本站服务器，都将跳转到源网站下载）
备用下载
发帖评论
相关话题
发布一个新话题
推荐资源
最新资源
热点资源
大家都在看的话题