文献
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)