ส่งซอฟต์แวร์

โปรแกรมตาม javabdd.sf.net

  • JavaBDD ฟรี

    ไลบรารี Java สําหรับการจัดการ BD (ไดอะแกรมการตัดสินใจไบนารี) แผนภาพการตัดสินใจไบนารีใช้กันอย่างแพร่หลายในการตรวจสอบแบบจําลองการตรวจสอบอย่างเป็นทางการการเพิ่มประสิทธิภาพแผนภาพวงจร