Combined Global and Local Search for the Falsification of Hybrid Systems

Počet záznamů: 1

1.

SYSNO	0431640
Název	Combined Global and Local Search for the Falsification of Hybrid Systems
Tvůrce(i)	Kuřátko, Jan (UIVT-O)_{RID, SAI, ORCID} Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Formal Modeling and Analysis of Timed Systems. S. 146-160. - Cham : Springer, 2014 / Legay A. ; Bozga M.
Konference	FORMATS 2014. International Conference /12./, Florence, 08.09.2014-10.09.2014
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GCP202/12/J060 GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	hybrid systems * falsification * optimization
Trvalý link	http://hdl.handle.net/11104/0236241

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0431640.pdf	0	249.2 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1