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

The interest to build ecosystem models is well acknowledged in order to improve the understanding of the sophisticated linkages between humans and natural species embedded within variable local and global environmental contexts. It is especially true when a complex temporal evolution intervenes as i...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Environmental modelling & software : with environment data news Ročník 30; číslo 30; s. 123 - 138
Hlavní autori:	Largouët, Christine, Cordier, Marie-Odile, Bozec, Yves-Marie, Zhao, Yulong, Fontenelle, Guy
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Ltd 01.04.2012 Elsevier
Predmet:	Artificial Intelligence biomass Computer Science computer software Decision-aid Discrete-event system Dynamical systems Dynamics Ecosystems environmental models fish fisheries fisheries management humans issues and policy marine ecosystems Mathematical models Model-checking Modelling Qualitative modelling Query patterns Scenario exploration stakeholders Tantalum Temporal logic Timed automata Qualitative modelling Discrete-event system Timed automata Decision-aid Scenario exploration Model-checking Query patterns decision-aid qualitative modelling discrete-event systems model-checking query patterns scenario exploration timed automata
ISSN:	1364-8152, 1873-6726
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!