文献

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)

タイトルに関連する用語 (4件)： 時間論理 ,  モニタ ,  統計 ,  モデル検査