Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Viet Hoa Nguyen
A Process for Continuous Validation of Self-Adapting Component Based Systems
Related publications
An Approach Based on Feature Models and Quality Criteria for Adapting Component-Based Systems
Journal of Software Engineering Research and Development
If-2.0: A Validation Environment for Component-Based Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Composition Process for the Construction of Component-Based Management Systems
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
A Framework for Validation of Rule-Based Systems
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics)
Self-Protection for Distributed Component-Based Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Validation Techniques for Process-Based Models
Development of a Smart Sensor Network With Application in Self-Adapting Energy Management Systems for Buildings
Proceedings
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Component Design and Formal Validation of SFA Systems: A Case Study