เรากําลังพัฒนา MIRACH ซึ่งเป็นตัวตรวจสอบแบบจําลองออนไลน์ทางสถิติสําหรับแบบจําลองเส้นทางทางชีวภาพตามพิธีการ PLTLs เพื่อแสดงกฎ / คุณสมบัติที่จะตรวจสอบ ปัจจุบัน MIRACH สามารถตรวจสอบรูปแบบเส้นทางที่เขียนใน CSML หรือ SBML
ประวัติรุ่น
- เวอร์ชัน files โพสต์เมื่อ 2010-06-22
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2010-06-22
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: mirach.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: windows