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...
Miễn phí tải về DREAM TOOL CHO LINUX (Sources mirror 1 (tar.gz))
Miễn phí tải về DREAM TOOL CHO LINUX (Sources mirror 2 (tar.gz))
Miễn phí tải về DREAM TOOL CHO LINUX (Sources mirror 3 (tar.gz))

Phần mềm được đề nghị Cho Linux