MIRACH

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 3.0/5 - ‎1 ‎Oy

Hakkı -nda MIRACH

Biyolojik Yol Modelleri için İstatistiksel Çevrimiçi Model Denetleyicisi mirach geliştiriyoruz, kontrol edilecek kuralları/özellikleri ifade etmek için PLTLs formalizmine dayalı. MIRACH şu anda CSML veya SBML ile yazılmış yol modellerini kontrol edebilir.