专题首页
中图分类法(3)
社会科学总论(2)
军事(1)
在“
自然资源管理
”中,
命中:
3
条,耗时:小于0.01 秒
1.
Complexity of model checking for reaction systems
作者:
Sepinoud Azimia
;
sazimi@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Cristian Gratiea
;
cgratie@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Sergiu Ivanovc
;
sergiu.ivanov@u-pec.fr" class="auth_mail" title="E-mail the corresponding author
;
Luca Manzonib
;
luca.manzoni@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author
;
Ion Petrea
;
ipetre@abo.fi" class="auth_mail" title="E-mail the corresponding author
;
Antonio E. Porrecab
;
porreca@disco.unimib.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Reaction systems
;
Model checking
;
Biomodeling
;
Conserved sets
;
Invariants
;
Steady state
;
Stationary process
;
Elementary flux
;
Periodicity
;
Complexity classes
刊名:Theoretical Computer Science
年:2016
2.
Momentum balance in the shallow water equations on bottom discontinuities
作者:
A. Valiani
;
alessandro.valiani@unife.it
;
V. Caleffi valerio.caleffi@unife.it
关键词:
Balancing
;
Energy conservation
;
Momentum conservation
;
Open channels
;
Shallow water equations
;
Source term
刊名:Advances in Water Resources
年:2017
3.
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 traces
;
trace checking
刊名:Lecture Notes in Computer Science
出版者:Springer Berlin / Heidelberg
年:2007
1
按检索点细分(3)
关键词(1)
摘要(3)
按年细分(3)
2017年(1)
2016年(1)
2007年(1)
按来源细分(3)
Elsevier(2)
Springer(1)
按类型细分(3)
期刊(3)