Verification of dynamically reconfigurable embedded systems by model transformation rules.

Felix Madlener Julia Weingart Sorin A. Huss

Published in: CODES+ISSS (2010)

Keyphrases

transformation rules
embedded systems
metamodel
cooperative
high level
management system
multi dimensional
embedded real time systems