专题首页
中图分类法(1)
社会科学总论(1)
在“
自然资源管理
”中,
命中:
1
条,耗时:小于0.01 秒
1.
An Incremental and Modular Technique for
Checking
LTL?X Properties of Petri Nets
作者:
Kais Klai
;
Laure Petrucci
;
Michel Reniers
关键词:
testing
;
asynchronous distributed systems
;
global property
;
model
checking
of
trace
s
;
trace
checking
刊名:Lecture Notes in Computer Science
出版者:Springer Berlin / Heidelberg
年:2007
1
按检索点细分(1)
关键词(1)
按年细分(1)
2007年(1)
按来源细分(1)
Springer(1)
按类型细分(1)
期刊(1)