专题首页
中图分类法(1)
社会科学总论(1)
在“
自然资源管理
”中,
命中:
1
条,耗时:0.0139946 秒
1.
Interval-Based
Resource
Usage
Verification
: Formalization and Prototype
作者:
Pedro Lopez-Garcia (12) pedro.lopez@imdea.org Luthfi Darmawan (1) luthfi.darmawan@imdea.org Francisco Bueno (3) bueno@fi.upm.es Manuel Hermenegildo (13) manuel.hermenegildo@imdea.org
关键词:
Cost Analysis
8211
;
Resource
Usage
Analysis
8211
;
Resource
Usage
Verification
8211
;
Program
Verification
and Debugging
刊名:Lecture Notes in Computer Science
年:2012
1
按检索点细分(1)
关键词(1)
按年细分(1)
2012年(1)
按来源细分(1)
Springer(1)
按类型细分(1)
期刊(1)