Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Juan Zamora Zapata
Compliance Verification of a Design Model With Respect to Its Specification Model in the Context of Software Defined Radios : A Model Transformation Approach
Related publications
Algebraic Specification of a Model Transformation Engine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model-Driven Approach to Information Security Compliance
A Visual Specification Language for Model-To-Model Transformations
Estimating the Location of a Camera With Respect to a 3D Model
Sixth International Conference on 3-D Digital Imaging and Modeling (3DIM 2007)
Implementation and Verification of a Realistic Battery Model in the DEMKit Simulation Software
A Model of the Greenhouse With a Storage-Type Heat Exchanger and Its Verification
J. AGRICULTURAL METEOROLOGY
Agronomy
Crop Science
Atmospheric Science
Design and Simulation of a Software Robustness Testing Model
Towards a Model Driven Approach to Upgrade Complex Software Systems
A Verification of Class Structure Evolution Model and Its Parameters
