* CRD (시계 제한 다이어그램) 기술로 C의 조밀 한 시간 모델과 실시간 시스템을위한 모델 검사 / 시뮬레이션 검사 라이브러리. * HRD (하이브리드 제한 다이어그램) 테크놀과 C의 선형 하이브리드 시스템을위한 파라메트릭 분석 라이브러리
버전 기록
- 버전 version 8 에 게시 2011-05-29
- 버전 version_2 에 게시 2011-03-24
몇 가지 수정 및 업데이트
프로그램 세부 정보
- 범주: 개발 > 다른
- 게시자: sites.google.com/site/redlibtw/
- 라이센스: 무료
- 가격: N/A
- 버전: 8
- 플랫폼: linux