MCMAS-SC model checker

หลักสูตรที่เกี่ยวข้อง

• CHLone ฟรี

  ชุด CHLone เป็นแอปพลิเคชันการทําแผนที่ที่สอดคล้องกับ CGNS / SIDS ของ SIDS-to-HDF5 และมีอินเทอร์เฟซ 3 ระดับสําหรับการพัฒนาแอปพลิเคชัน เหล่านี้คือ:- โคลน CGNS / MLL, API เดียวกันกับ CGNS / MLL- A2 Application API ซึ่งเป็นส่

• FactotumNOW IAS Reporting ทดลองใช้ฟรี

  FactotumNOW IAS Reporting นําเข้าไฟล์บันทึก IAS/RRAS (Microsoft VPN) ผ่านเอ็นจินที่สามารถติดตั้งลงในเซิร์ฟเวอร์ VPN/IAS ได้ สถิติ IAS (Microsoft®บริการรับรองความถูกต้องของอินเทอร์เน็ต) จะได้รับการอัปเดตโดยอัตโนมัติทุกสองนาที

• Flash-Creator ทดลองใช้ฟรี

  Flash Creator เป็นเครื่องมือที่รวดเร็วและสดชื่นที่ใช้งานง่ายสําหรับการสร้างโลโก้ Flash เคลื่อนไหวแบนเนอร์บทนําส่วนหัวและสิ่งอื่น ๆ ที่คุณสามารถจินตนาการได้ทันทีจากกล่อง มันให้สภาพแวดล้อมการออกแบบแบบจุดและคลิกที่ช่วยให้ทุกคนโด

• SAW (Small Artificial World) ฟรี

  SAW (โลกเทียมขนาดเล็ก) เป็นการจําลองวิวัฒนาการตามธรรมชาติ โลกมีประชากรโดยมนุษย์เทียมจํานวนมากที่สามารถโต้ตอบกันเพื่อการต่อสู้เพื่อความอยู่รอด มีการใช้อัลกอริทึมทางพันธุกรรมและเครือข่ายประสาท ชีววิทยาเป็นแรงบันดาลใจ

• evids video intrusion detection system ฟรี

  Evids เป็นระบบตรวจจับการบุกรุกวิดีโอไคลเอ็นต์ / เซิร์ฟเวอร์ อัตโนมัติ ซอฟต์แวร์เฝ้าระวังให้การตรวจสอบวิดีโอที่เข้ามาเต็มเวลา สัญญาณ นอกจากนี้ Evids เป็นโครงการโอเพ่นซอร์สฟรีที่ทํางานบนหลาย ๆ รูปแบบแผ่นของ

• Accessibility plugins for Liferay ฟรี

  วัตถุประสงค์ของ projet นี้คือการให้ชุดของส่วนขยาย (ปลั๊กอิน) เพื่อเพิ่มประสบการณ์การเข้าถึงบนพอร์ทัล Liferay

• SynchroJet ทดลองใช้ฟรี

  SynchroJet เป็นโปรแกรมอรรถประโยชน์การสํารองข้อมูลและการซิงโครไนซ์ที่ใช้งานง่ายซึ่งสามารถทํางานกับแหล่งข้อมูลท้องถิ่น LAN, FTP / SSL ด้วย SynchroJet คุณสามารถซิงโครไนซ์ไฟล์สําคัญทั้งหมดระหว่างเซิร์ฟเวอร์เดสก์ท็อปแล็ปท็อป LAN F

• ControlK ฟรี

  นี่เป็นปลั๊กอินที่ง่ายมากสําหรับ JEdit มันเพิ่มคุณสมบัติ Eclipse control-K นั่นคือ: ค้นหาการเกิดขึ้นครั้งต่อไปของข้อความที่เลือก

• emulare ฟรี

  Emulare เป็นโปรแกรมจําลอง arduinoช่วยให้คุณสามารถเรียกใช้โปรแกรม arduino ในการจําลอง มีการสนับสนุนอย่างเต็มที่สําหรับอุปกรณ์ทั้งหมดบน Arduino Duemilanove มันมีอินเทอร์เฟซ GDB สําหรับการดีบัก มันมีส่วนต่อประสานกราฟิกที่สมบู

• Music Shuffling ฟรี

  แอปพลิเคชั่น .net 3.5 ที่อนุญาตให้ผู้ใช้สลับเพลงใน ipod หรืออุปกรณ์อื่น ๆ คุณสมบัติที่สมบูรณ์ด้วยการเลือกไฟล์สุ่มและยังสลับไปต่อไฟล์