Počet záznamů: 1
System HSOLVER
- 1.Ratschan, Stefan
System HSOLVER.
Interní kód: HSOLVER ; 2006
Technické parametry: verifikace hybridních systémů
Ekonomické parametry: zlepšení verifikace hybridních systémů
http://hsolver.sourceforge.net/
http://hdl.handle.net/11104/0135711
Počet záznamů: 1