DREAM Tool 0.7 Beta
DREAM Tool je obecný rámec, který má za cíl poskytnout společné sémantickou doménu, která může vyjádřit několik (real-time, spotřeba energie, zdrojů) omezení.Sémantická doména má spustitelný C ++ model, který byl významově ukotven na hybridní automatů...