Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Isidro Ramos
Algebraic Specification of a Model Transformation Engine
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mobile Ambients in Aspect-Oriented Software Architectures
Related publications
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Compliance Verification of a Design Model With Respect to Its Specification Model in the Context of Software Defined Radios : A Model Transformation Approach
Detection of Metamorphic and Virtualization-Based Malware Using Algebraic Specification
Journal in Computer Virology
Algebraic Transformation of Descriptive Vector Byte-Code Sequences
An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
CoFI: The Common Framework Initiative for Algebraic Specification and Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification a Model for Study of Symbolic Processualism
Interconectando Saberes
A Visual Specification Language for Model-To-Model Transformations
An Alphard Specification of a Correct and Efficient Transformation on Data Structures
IEEE Transactions on Software Engineering
Software
