DREAM Tool 0.7 Beta
DREAM Tool er et generisk rammeverk som tar sikte på å gi en felles semantisk domene som kan uttrykke flere (real-time, strømforbruk, ressurs) begrensninger.Det semantiske domenet har en kjørbar C ++ modell som er semantisk forankret til hybrid automata...