Sciweavers

277 search results - page 2 / 56
» Israel
Sort
View
JOLPE
2007
89views more  JOLPE 2007»
13 years 5 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»
13 years 10 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