Formal refinement modeling using patterns in hardware/software co-design

Authors: Tsasakou, S.

Journal: Foundations of Computing and Decision Sciences journal

Publication Date: 2004

Source: Manual

Preferred by: Sofia Meacham