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

doi 10.22215/etd/2005-06597
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Carleton University

Related search

Algebraic Specification of a Model Transformation Engine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Model-Driven Approach to Information Security Compliance

2017English

A Visual Specification Language for Model-To-Model Transformations

2010English

Estimating the Location of a Camera With Respect to a 3D Model

Sixth International Conference on 3-D Digital Imaging and Modeling (3DIM 2007)
2007English

Implementation and Verification of a Realistic Battery Model in the DEMKit Simulation Software

2018English

A Model of the Greenhouse With a Storage-Type Heat Exchanger and Its Verification

J. AGRICULTURAL METEOROLOGY
AgronomyCrop ScienceAtmospheric Science
1977English

Design and Simulation of a Software Robustness Testing Model

2015English

Towards a Model Driven Approach to Upgrade Complex Software Systems

2009English

A Verification of Class Structure Evolution Model and Its Parameters

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy