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

Please use this identifier to cite or link to this item: http://cmuir.cmu.ac.th/jspui/handle/6653943832/18070

Full metadata record

DC Field	Value	Language
dc.contributor.author	ปารียา ไชยเวช	en_US
dc.date.accessioned	2014-09-18T03:59:14Z	-
dc.date.available	2014-09-18T03:59:14Z	-
dc.date.issued	2554	en_US
dc.identifier.govdoc	ว 624.176 ป273ก	en_US
dc.identifier.uri	http://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1510829	en_US
dc.identifier.uri	http://cmuir.cmu.ac.th/handle/6653943832/18070	-
dc.language.iso	tha	en_US
dc.publisher	เชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2554	en_US
dc.subject	ระบบเตือนภัยธรรมชาติ	en_US
dc.subject	อุทกภัย	en_US
dc.subject	แผ่นดินถล่ม	en_US
dc.title	การทวนสอบแบบโมเดลเช็คกิง สำหรับระบบเตือนภัยน้ำป่าไหลหลากและดินถล่ม = Model checking based verification for flood and landslide early warning system / ปารียา ไชยเวช	en_US
dc.type	การค้นคว้าแบบอิสระ	en_US
Appears in Collections:	SCIENCE: Independent Study (IS)

Files in This Item:

File	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