Výsledky vyhledávání
- 1.0042501 - ÚI 2007 RIV CZ eng L - Prototyp, funkční vzorek
Ratschan, Stefan
System HSOLVER.
[Systém HSOLVER.]
Interní kód: HSOLVER ; 2006
Technické parametry: verifikace hybridních systémů
Ekonomické parametry: zlepšení verifikace hybridních systémů
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: verification * hybrid dynamical systems
Kód oboru RIV: IN - Informatika
http://hsolver.sourceforge.net/
Trvalý link: http://hdl.handle.net/11104/0135711 - 2.0042500 - ÚI 2007 RIV CZ eng L - Prototyp, funkční vzorek
Ratschan, Stefan
System RSOLVER.
[Systém RSOLVER.]
Interní kód: RSOLVER ; 2006
Technické parametry: řešení úloh s omezeními ve tvaru nerovností
Ekonomické parametry: zlepšení řešení úloh s omezeními ve tvaru nerovností
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: constraint solving * interval methods
Kód oboru RIV: IN - Informatika
http://rsolver.sourceforge.net/
Trvalý link: http://hdl.handle.net/11104/0135710