Using event-B and Modelica to evaluate thermal management strategies in many core systems.

Colin F. Snook, Tom J. Kazmierski

Browse the full FDL paper archive.