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ženo v:

Podrobná bibliografie
Vydáno v:	Environmental modelling & software : with environment data news Ročník 30; číslo 30; s. 123 - 138
Hlavní autoři:	Largouët, Christine, Cordier, Marie-Odile, Bozec, Yves-Marie, Zhao, Yulong, Fontenelle, Guy
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.04.2012 Elsevier
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!