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.
sürüm geçmişi
- Sürüm files tarihinde gönderildi 2010-06-22
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2010-06-22
Program Detayları
- Kategori: Eğitim > Diğer
- Yayımcı: mirach.sf.net
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: windows