a generic NTCC interpreter capable of RT

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

에 대해 a generic NTCC interpreter capable of RT

Ntccrt는 비결정적 시간 제한 동시 제약 조건(ntcc) 미적분및 확률 확장(pntcc)에 대한 인터프리터입니다. 그것은 독립 실행형 프로그램으로 모델을 실행할 수 있습니다.