Please use this identifier to cite or link to this item:
http://cmuir.cmu.ac.th/jspui/handle/6653943832/18070| Title: | การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช |
| Authors: | ปารียา ไชยเวช |
| Authors: | ปารียา ไชยเวช |
| Keywords: | ระบบเตือนภัยธรรมชาติ;อุทกภัย;แผ่นดินถล่ม |
| Issue Date: | 2554 |
| Publisher: | เชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2554 |
| Gov't Doc #: | ว 624.176 ป273ก |
| URI: | http://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1510829 http://cmuir.cmu.ac.th/handle/6653943832/18070 |
| Appears in Collections: | SCIENCE: Independent Study (IS) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| comp21054pc_tpg.pdf | 1.45 MB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_abs.pdf | 840.28 kB | Adobe PDF | View/Open | |
| comp21054pc_con.pdf | 1.57 MB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_ch1.pdf | 1.51 MB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_ch2.pdf | 6.17 MB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_ch3.pdf | 3.19 MB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_ch4.pdf | 6.23 MB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_ch5.pdf | 729.46 kB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_bib.pdf | 803.42 kB | Adobe PDF | View/Open Request a copy | |
| comp21054pc_app.pdf | 2.52 MB | Adobe PDF | View/Open Request a copy |
Items in CMUIR are protected by copyright, with all rights reserved, unless otherwise indicated.