Formal Methods to Verify the Power Manager for an Embedded Multiprocessor Cluster Author(s): Kesava R. Talu Location: United States Year: 2010 Type: Paper Format: pdf Download
