Search results
- 1.0042501 - ÚI 2007 RIV CZ eng L - Prototype, f. module
Ratschan, Stefan
System HSOLVER.
[Systém HSOLVER.]
Internal code: HSOLVER ; 2006
Technical parameters: verifikace hybridních systémů
Economic parameters: zlepšení verifikace hybridních systémů
Institutional research plan: CEZ:AV0Z10300504
Keywords : verification * hybrid dynamical systems
Subject RIV: IN - Informatics, Computer Science
http://hsolver.sourceforge.net/
Permanent Link: http://hdl.handle.net/11104/0135711 - 2.0042500 - ÚI 2007 RIV CZ eng L - Prototype, f. module
Ratschan, Stefan
System RSOLVER.
[Systém RSOLVER.]
Internal code: RSOLVER ; 2006
Technical parameters: řešení úloh s omezeními ve tvaru nerovností
Economic parameters: zlepšení řešení úloh s omezeními ve tvaru nerovností
Institutional research plan: CEZ:AV0Z10300504
Keywords : constraint solving * interval methods
Subject RIV: IN - Informatics, Computer Science
http://rsolver.sourceforge.net/
Permanent Link: http://hdl.handle.net/11104/0135710