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

Authors: Tsasakou, S.

Journal: Foundations of Computing and Decision Sciences journal

Source: Manual

Preferred by: Sofia Meacham