Discover open access scientific publications

Compliance Verification of a Design Model With Respect to Its Specification Model in the Context of Software Defined Radios : A Model Transformation Approach