DREAM Tool 0.7 Beta
SOGNO Tool è un framework generico che mira a fornire un dominio semantico comune che può esprimere diversi (in tempo reale, il consumo di energia, di risorse) vincoli.Il dominio semantico ha un modello di C ++ eseguibile che è stato semanticamente...
