文献
J-GLOBAL ID:201202293276840350
整理番号:12A0888738
重み付き距離時間論理のためのモニタに基づく統計的モデル検査
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
著者 (7件):
BULYCHEV Peter
(Aalborg Univ., DNK)
,
DAVID Alexandre
(Aalborg Univ., DNK)
,
LARSEN Kim Guldstrand
(Aalborg Univ., DNK)
,
LEGAY Axel
(INRIA/IRISA, Rennes, FRA)
,
LI Guangyuan
(Inst. of Software, Chinese Acad. of Sci., Beijing, CHN)
,
POULSEN Danny Bogsted
(Aalborg Univ., DNK)
,
STAINER Amelie
(Univ. Rennes 1, Rennes, FRA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
7180
ページ:
168-182
発行年:
2012年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
発行国:
ドイツ (DEU)
言語:
英語 (EN)