摘要
第1期一种扩展了价格信息的时间Petri网……………………刘显明李师贤李文军潘理(1)时间约束Petri网及其可调度性分析与验证…………………………宋巍窦万春刘茜萍(11) Petri网共享PP-型子网合成性质分析……………………………夏传良焦莉陆维明(22) Godel n值命题逻辑中命题的α-真度理论…………………………………李骏王国俊(33)关于二元延迟3步前馈逆有限自动机的结构(英文)………………………王鸿吉姚刚(40)场景驱动的构件行为抽取……………张岩胡军于笑丰张天李宣东郑国梁(50)一种基于时间自动机的实时系统测试方法…………………陈伟薛云志赵琛李明树(62)
出处
《软件学报》
EI
CSCD
北大核心
2007年第12期I0001-I0020,共20页
Journal of Software
