|
xTune |
|
Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems |
|
Links |
|
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. |
|
A Framework for Optimization of Distributed Embedded Systems Software |
