Search Result of "Model Checking SPIN"

About 3 results
Img
Img

ที่มา:JCSSE2011

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

Img

Researcher

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

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

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

Resume