TLA + 이클립스 IDE 플러그인. 이클립스 IDE에서 시스템을 지정하기 위한 형식 정의 언어 '행동의 시간 논리' 통합
버전 기록
- 버전 2.1.0 에 게시 2005-08-22
몇 가지 수정 및 업데이트 - 버전 2.1.0 에 게시 2005-08-22
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: www.techjava.de/projects/etla-plugin/
- 라이센스: 무료
- 가격: N/A
- 버전: 2.1.0
- 플랫폼: windows
TLA + 이클립스 IDE 플러그인. 이클립스 IDE에서 시스템을 지정하기 위한 형식 정의 언어 '행동의 시간 논리' 통합