ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช

หน่วยงาน มหาวิทยาลัยเชียงใหม่

รายละเอียด

ชื่อเรื่อง : การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช
นักวิจัย : ปารียา ไชยเวช
คำค้น : ระบบเตือนภัยธรรมชาติ , อุทกภัย , แผ่นดินถล่ม
หน่วยงาน : มหาวิทยาลัยเชียงใหม่
ผู้ร่วมงาน : -
ปีพิมพ์ : 2554
อ้างอิง : ว 624.176 ป273ก , http://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1510829 , http://cmuir.cmu.ac.th/handle/6653943832/18070
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย : -
บรรณานุกรม :
ปารียา ไชยเวช . (2554). การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช.
    เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ .
ปารียา ไชยเวช . 2554. "การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช".
    เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ .
ปารียา ไชยเวช . "การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช."
    เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ , 2554. Print.
ปารียา ไชยเวช . การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช. เชียงใหม่ : มหาวิทยาลัยเชียงใหม่ ; 2554.