文献
J-GLOBAL ID:201202279820365781
整理番号:12A1674135
区間ベース資源使用法検証:形式化と原型
Interval-Based Resource Usage Verification: Formalization and Prototype
著者 (6件):
LOPEZ-GARCIA Pedro
(IMDEA Software Inst., Madrid, ESP)
,
LOPEZ-GARCIA Pedro
(Spanish National Res. Council(CSIC), ESP)
,
DARMAWAN Luthfi
(IMDEA Software Inst., Madrid, ESP)
,
BUENO Francisco
(Technical Univ. Madrid, ESP)
,
HERMENEGILDO Manuel
(IMDEA Software Inst., Madrid, ESP)
,
HERMENEGILDO Manuel
(Technical Univ. Madrid, ESP)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7177
ページ:
54-71
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)