fast2armc 프로그램은 FAST(er) 도구용 카운터 오토마타 모델의 소스 코드를 ARMC 프롤로그 구문으로 변환합니다.
버전 기록
- 버전 1.2.2 에 게시 2010-02-24
몇 가지 수정 및 업데이트 - 버전 1.2.2 에 게시 2010-02-24
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: fast2armc.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 1.2.2
- 플랫폼: windows
fast2armc 프로그램은 FAST(er) 도구용 카운터 오토마타 모델의 소스 코드를 ARMC 프롤로그 구문으로 변환합니다.