Beyond Liveness:Efficient Parameter Synthesis for Timed Bounded Liveness

Autor:	Behrmann, Gerd, Larsen, Kim Guldstrand, Rasmussen, Jacob Illum
Jazyk:	angličtina
Rok vydání:	2005
Zdroj:	Behrmann, G, Larsen, K G & Rasmussen, J I 2005, Beyond Liveness : Efficient Parameter Synthesis for Timed Bounded Liveness . in International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05) . IEEE Computer Society Press, International Conference on Formal Modelling and Analysis of Timed Systems, Uppsala, Sweden, 19/05/2010 .
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::31808a462bc6439509066aeda56856b4 https://vbn.aau.dk/da/publications/0a18a410-9c2d-11db-8ed6-000ea68e967b Zobrazit plný text záznamu