| ชื่อเรื่อง | : | การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = 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.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
