DREAM Tool 0.7 Beta
Công cụ DREAM là một khuôn khổ chung đó nhằm cung cấp một miền ngữ nghĩa thông thường mà có thể thể hiện nhiều (thời gian thực, tiêu thụ điện năng, nguồn lực) hạn chế.Tên miền ngữ nghĩa có một C ++ mô hình thực thi đã được ngữ nghĩa neo vào automata thức...