프로그램별 mirach.sf.net

우리는 MIRACH, 생물학적 경로 모델에 대한 통계 온라인 모델 검사기, 검사 할 규칙 / 속성을 표현하기위한 PlTLs 공식주의를 기반으로 개발하고 있습니다. MIRACH는 현재 CSML 또는 SBML에 기록된 경로 모델을 확인할 수 있습니다.