เทคนิคการทวนสอบบนพื้นฐานโมเดลเช็คกิงสำหรับข้อกำหนดในตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Model checking based verification technigue for discrete event calculus model specification / อานพล รัตนชัย

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

Full metadata record

DC Field	Value	Language
dc.contributor.author	อานพล รัตนชัย	en_US
dc.date.accessioned	2014-09-18T03:49:48Z	-
dc.date.available	2014-09-18T03:49:48Z	-
dc.date.issued	2547	en_US
dc.identifier.govdoc	ว 003.85 อ255ท	en_US
dc.identifier.uri	http://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1363429	en_US
dc.identifier.uri	http://cmuir.cmu.ac.th/handle/6653943832/17802	-
dc.language.iso	tha	en_US
dc.publisher	เชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2547	en_US
dc.subject	การวิเคราะห์ระบบ	en_US
dc.subject	ระบบเวลาเต็มหน่วย	en_US
dc.subject	แบบจำลองทางคณิตศาสตร์	en_US
dc.title	เทคนิคการทวนสอบบนพื้นฐานโมเดลเช็คกิงสำหรับข้อกำหนดในตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Model checking based verification technigue for discrete event calculus model specification / อานพล รัตนชัย	en_US
dc.type	การค้นคว้าแบบอิสระ	en_US
Appears in Collections:	SCIENCE: Independent Study (IS)

Files in This Item:

File	Size	Format
comp1047ar_tpg.pdf	451.2 kB	Adobe PDF	View/Open Request a copy
comp1047ar_abs.pdf	457.16 kB	Adobe PDF	View/Open
comp1047ar_con.pdf	455.44 kB	Adobe PDF	View/Open Request a copy
comp1047ar_ch1.pdf	506.55 kB	Adobe PDF	View/Open Request a copy
comp1047ar_ch2.pdf	752.68 kB	Adobe PDF	View/Open Request a copy
comp1047ar_ch3.pdf	834.58 kB	Adobe PDF	View/Open Request a copy
comp1047ar_ch4.pdf	833.62 kB	Adobe PDF	View/Open Request a copy
comp1047ar_ch5.pdf	712.29 kB	Adobe PDF	View/Open Request a copy
comp1047ar_ch6.pdf	507.52 kB	Adobe PDF	View/Open Request a copy
comp1047ar_bib.pdf	462.93 kB	Adobe PDF	View/Open Request a copy
comp1047ar_app.pdf	570.31 kB	Adobe PDF	View/Open Request a copy