Sciweavers

277 search results - page 2 / 56
» Israel
Sort
View
JOLPE
2007
89views more  JOLPE 2007»
13 years 8 months ago
TILTS: A Fast Architectural-Level Transient Thermal Simulation Method
Yongkui Han, Israel Koren, C. Mani Krishna
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
14 years 2 months ago
Abstraction and Refinement in Model Checking
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
Orna Grumberg