《智能系统学报》
过刊查询页面
关键词中包括
model checking
的文章
1
实时并发系统的PTSL模型检测
王晓燕
1
, 韩啸
1,2
, 彭君
1
, 刘淑芬
1
2017年5期 [694-701][
摘要
](
5302
)
[
pdf
1098KB]
(
2535
)
DOI:
10.11992/tis.201706008
2
含有合取查询的时态描述逻辑ALC-LTL模型检测
朱创营, 常亮, 徐周波, 李凤英 2014年6期 [714-722][
摘要
](
3041
)(
2
)
DOI:
10.3969/j.issn.1673-4785.201303034