Search Result of "Model Checking"

About 8 results
Img
Img

ที่มา:JCSSE2011

หัวเรื่อง:การตรวจสอบการขัดแย้งกันของการให้บริการในระบบเครือข่ายบ้านอัจฉริยะด้วยสปินโมเดลเช็คกิ้งโดยการประยุกต์ใช้เทคโนโลยีกริด

Img

ที่มา:วิทยานิพนธ์ ปริญญาโท (จาก: บัณฑิตวิทยาลัย และ สำนักหอสมุด มก.)

หัวเรื่อง:การตรวจสอบการขัดแย้งกันของการให้บริการในระบบเครือข่ายบ้านอัจฉริยะด้วยสปินโมเดลเช็คกิ้งโดยการประยุกต์ใช้เทคโนโลยีกริด

ผู้เขียน:Imgวรวุทธ นัมคนิสรณ์

ประธานกรรมการ:Imgดร.ภัทร ลีลาพฤทธิ์, ผู้ช่วยศาสตราจารย์

กรรมการร่วม:Imgดร.อานนท์ รุ่งสว่าง, รองศาสตราจารย์

Img

ที่มา:วิทยานิพนธ์ ปริญญาโท (จาก: บัณฑิตวิทยาลัย และ สำนักหอสมุด มก.)

หัวเรื่อง:การออกแบบและการตรวจสอบอินทิเกรทเซอร์วิสของระบบเครือข่ายเครื่องใช้ไฟฟ้าภายในบ้าน

ผู้เขียน:Imgสุรชาติ โห้ทองคำ

ประธานกรรมการ:Imgดร.ภัทร ลีลาพฤทธิ์, ผู้ช่วยศาสตราจารย์

กรรมการร่วม:Imgดร.จิตร์ทัศน์ ฝักเจริญผล, ผู้ช่วยศาสตราจารย์, Imgดร.อนันต์ ผลเพิ่ม, รองศาสตราจารย์

สื่อสิ่งพิมพ์:Library Collection

Img

ที่มา:JCSSE2010

หัวเรื่อง:การตรวจหาและการจำแนกประเภทของปัญหาเซอร์วิสอินเตอร์แอคชั่นในระบบโฮมเน็ตเวิร์ก

Img
Img

Researcher

ดร. ภัทร ลีลาพฤทธิ์, ผู้ช่วยศาสตราจารย์

ที่ทำงาน:ภาควิชาวิศวกรรมคอมพิวเตอร์ คณะวิศวกรรมศาสตร์ บางเขน

สาขาที่สนใจ:Feature Interactions, Telecommunication services, Network Systems

Resume

Img