Sciweavers

4693 search results - page 183 / 939
» Verifying Hybrid Systems
Sort
View
TODAES
2008
53views more  TODAES 2008»
15 years 5 months ago
A fuel-cell-battery hybrid for portable embedded systems
Kyungsoo Lee, Naehyuck Chang, Jianli Zhuo, Chaital...
JISE
2007
48views more  JISE 2007»
15 years 5 months ago
Modeling of a Hybrid Ad Hoc Cellular Network System
Sachiko Yamanaka, Katsunori Shimohara
KI
2007
Springer
15 years 5 months ago
Realizing Hybrid Planning Systems as Modern Software Environments
Bernd Schattenberg, Steffen Balzer, Susanne Biundo