《智能系统学报》
过刊查询页面
关键词中包括
timed concurrent system
的文章
1
实时并发系统的PTSL模型检测
王晓燕
1
, 韩啸
1,2
, 彭君
1
, 刘淑芬
1
2017年5期 [694-701][
摘要
](
5349
)
[
pdf
1098KB]
(
2584
)
DOI:
10.11992/tis.201706008