Počet záznamů: 1

System HSOLVER

SYSNO	0042501
Název	System HSOLVER
Překlad názvu	Systém HSOLVER
Tvůrce(i)	Ratschan, Stefan (UIVT-O)_{SAI, RID, ORCID}
Vyd. údaje	2006
Int.kód	HSOLVER
Technické parametry	verifikace hybridních systémů
Ekonomické parametry	zlepšení verifikace hybridních systémů
Název vlastníka	Ústav informatiky AV ČR
Druh dok.	Prototyp, metodika, f.vzorek, aut.software, apl.výzkum-normy, u.vzor
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	CZ
Klíč.slova	verification * hybrid dynamical systems
URL	http://hsolver.sourceforge.net/
Trvalý link	http://hdl.handle.net/11104/0135711

Počet záznamů: 1