Please use this identifier to cite or link to this item:
http://cmuir.cmu.ac.th/jspui/handle/6653943832/17802| Title: | เทคนิคการทวนสอบบนพื้นฐานโมเดลเช็คกิงสำหรับข้อกำหนดในตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Model checking based verification technigue for discrete event calculus model specification / อานพล รัตนชัย |
| Authors: | อานพล รัตนชัย |
| Authors: | อานพล รัตนชัย |
| Keywords: | การวิเคราะห์ระบบ;ระบบเวลาเต็มหน่วย;แบบจำลองทางคณิตศาสตร์ |
| Issue Date: | 2547 |
| Publisher: | เชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2547 |
| Gov't Doc #: | ว 003.85 อ255ท |
| URI: | http://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1363429 http://cmuir.cmu.ac.th/handle/6653943832/17802 |
| Appears in Collections: | SCIENCE: Independent Study (IS) |
Files in This Item:
| File | Description | 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 |
Items in CMUIR are protected by copyright, with all rights reserved, unless otherwise indicated.