文献

J-GLOBAL ID：200902218835953570   整理番号：07A0978386

イベント-Bにおける定性的確率モデリング

Qualitative Probabilistic Modelling in Event-B

著者 (2件)： HALLERSTEDE Stefan (ETH Zurich, CHE) ,  HOANG Thai Son (ETH Zurich, CHE)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 4591  ページ： 293-312  発行年： 2007年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： イベント-B ,  確率モデリング