Search results | The Czech Academy of Sciences

Records found: 4

Your query: Author Sysno/Doc.kind = "^cav_un_auth 0218448 230g^"

1.

Project	Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.
Project Name	OC10048
Grant Agency	GA MŠk
Research years	2010 - 2012
Grant Recipient	Ústav informatiky AV ČR, v. v. i.
Participants	Ratschan
Catal.org.	CAV
References	(1) - Abstrakt
	(4) - Konferenční příspěvek (zahraniční konference)
	(3) - Článek v odborném časopise
	(1) - Software
File	Projekty

2.

Project	Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti
Project Name	GCP202/12/J060
Grant Agency	GA ČR
Research years	2012 - 2014
Grant Recipient	Ústav informatiky AV ČR, v. v. i.
Participants	Ratschan
Catal.org.	CAV
References	(3) - Abstrakt
	(1) - Konferenční příspěvek (zahraniční konference)
	(4) - Článek v odborném časopise
File	Projekty

3.

Project	Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek
Project Name	GC201/08/J020
Grant Agency	GA ČR
Research years	2008 - 2010
Grant Recipient	Ústav informatiky AV ČR, v. v. i.
Participants	Ratschan
Catal.org.	CAV
References	(3) - Abstrakt
	(6) - Konferenční příspěvek (zahraniční konference)
	(16) - Článek v odborném časopise
	(2) - Konferenční příspěvek (tuzemská konference)
	(8) - Výzkumná zpráva
File	Projekty

4.

Project	Výpočet robustních invariantů hybridních dynamických systémů s využitím simulací
Project Name	GA15-14484S
Grant Agency	GA ČR
Research years	2015 - 2017
Grant Recipient	Ústav informatiky AV ČR, v. v. i.
Participants	Ratschan
Catal.org.	CAV
References	(2) - Abstrakt
	(2) - Konferenční příspěvek (zahraniční konference)
	(5) - Článek v odborném časopise
	(1) - Konferenční příspěvek (tuzemská konference)
	(1) - Software
File	Projekty

For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.