文献

J-GLOBAL ID：201202237585573458   整理番号：12A1692648

記録不確実性下におけるトレースの実行時検証

Runtime Verification of Traces under Recording Uncertainty

著者 (4件)： WANG Shaohui (Univ. Pennsylvania, USA) ,  AYOUB Anaheed (Univ. Pennsylvania, USA) ,  SOKOLSKY Oleg (Univ. Pennsylvania, USA) ,  LEE Insup (Univ. Pennsylvania, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7186  ページ： 442-456  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 不確実性 ,  トレース ,  検証