REDLIB 8

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 3.0/5 - ‎1 ‎투표

에 대해 REDLIB

* CRD (시계 제한 다이어그램) 기술로 C의 조밀 한 시간 모델과 실시간 시스템을위한 모델 검사 / 시뮬레이션 검사 라이브러리. * HRD (하이브리드 제한 다이어그램) 테크놀과 C의 선형 하이브리드 시스템을위한 파라메트릭 분석 라이브러리