文献

J-GLOBAL ID：201202252371912211   整理番号：12A0859262

実行時間中に、あなたは何を検証し実行できるか?

What can you verify and enforce at runtime?

著者 (3件)： FALCONE Ylies (INRIA, Rennes, Bretagne Atlantique, Rennes, FRA) ,  FERNANDEZ Jean-Claude (Verimag, Univ. Grenoble I, Grenoble, FRA) ,  MOUNIER Laurent (Verimag, Univ. Grenoble I, Grenoble, FRA)
資料名： International Journal on Software Tools for Technology Transfer  (International Journal on Software Tools for Technology Transfer)
巻： 14  号： 3  ページ： 349-382  発行年： 2012年06月 
JST資料番号： W1267A  ISSN： 1433-2779  資料種別： 逐次刊行物 (A)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 実行時間 ,  検証