Chương trình theo www.techjava.de/projects/etla-plugin/
-
eTLA Miễn phí
TLA + Eclipse IDE plugin. Tích hợp ngôn ngữ định nghĩa chính thức 'Logic thời gian của hành động' để xác định các hệ thống trong Eclipse IDE
TLA + Eclipse IDE plugin. Tích hợp ngôn ngữ định nghĩa chính thức 'Logic thời gian của hành động' để xác định các hệ thống trong Eclipse IDE