Formal Methods to Verify the Power Manager for an Embedded Multiprocessor Cluster Author(s): Kesava R. Talu Type: Paper Download
