文献

J-GLOBAL ID：201202231137370416   整理番号：12A0061172

生態系モデルについてシナリオを探査するため時間オートマトンの使用とモデル検査

Use of timed automata and model-checking to explore scenarios on ecosystem models

著者 (11件)： LARGOUEET Christine (Agrocampus Ouest, Computer Sci. Lab., F-35000 Rennes, FRA) ,  LARGOUEET Christine (Univ. Europeenne de Bretagne, F-35000 Rennes, FRA) ,  LARGOUEET Christine (IRISA, UMR 6074, F-35000 Rennes, FRA) ,  CORDIER Marie-odile (Univ. Europeenne de Bretagne, F-35000 Rennes, FRA) ,  CORDIER Marie-odile (IRISA, UMR 6074, F-35000 Rennes, FRA) ,  BOZEC Yves-marie (Agrocampus Ouest, Computer Sci. Lab., F-35000 Rennes, FRA) ,  BOZEC Yves-marie (Univ. of Queensland, School of Biological Sciences, Marine Spatial Ecology Lab, St Lucia, QLD 4072, AUS) ,  ZHAO Yulong (Univ. Europeenne de Bretagne, F-35000 Rennes, FRA) ,  ZHAO Yulong (IRISA, UMR 6074, F-35000 Rennes, FRA) ,  FONTENELLE Guy (Agrocampus Ouest, UMR 985 Fisheries Ecology Lab., F-35000 Rennes, FRA) ,  FONTENELLE Guy (Univ. Europeenne de Bretagne, F-35000 Rennes, FRA)
資料名： Environmental Modelling & Software  (Environmental Modelling & Software)
巻： 30  ページ： 123-138  発行年： 2012年04月 
JST資料番号： W1588A  ISSN： 1364-8152  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

シソーラス用語： *モデリング ,  離散系 ,  助成 ,  探査 ,  質問 ,  形態 ,  オートマトン ,  モデル検査 ,  モデル ,  問い合わせ言語 ,  漁業 ,  ニューカレドニア ,  事例研究 ,  食物連鎖 ,  生物相互作用
準シソーラス用語： クエリパターン ,  シナリオ探査 ,  意思決定支援 ,  漁業経営 ,  珊瑚礁漁業 ,  時間オートマトン ,  生態系モデル ,  *定性的モデリング ,  捕食者-被食者 ,  離散事象系

分類 (6件)： 異種生物間相互作用  (EE01050A) ,  オペレーションズリサーチ一般  (KA03010Q) ,  計算機システム開発  (JD02010R) ,  応用プログラミング言語  (JD03052Y) ,  水産経済・経営  (FH01020D) ,  経営工学一般  (KA01010C)

タイトルに関連する用語 (5件)： 生態系モデル ,  シナリオ ,  探査 ,  オートマトン ,  モデル検査