Please use this identifier to cite or link to this item:
http://cmuir.cmu.ac.th/jspui/handle/6653943832/17847| Title: | การทวนสอบอย่างเป็นแบบแผนของข้อกำหนดที่เขียนด้วยตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Formal verification of specification written by discrete event calculus model / สุดารณี จันทรมานนท์ |
| Authors: | สุดารณี จันทรมานนท์ |
| Authors: | สุดารณี จันทรมานนท์ |
| Keywords: | ข้อกำหนด;การคำนวณ |
| Issue Date: | 2549 |
| Publisher: | เชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2549 |
| Gov't Doc #: | ว 004 ส442ก |
| URI: | http://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1400134 http://cmuir.cmu.ac.th/handle/6653943832/17847 |
| Appears in Collections: | SCIENCE: Independent Study (IS) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| comp0949sc_tpg.pdf | 262.46 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_abs.pdf | 181.18 kB | Adobe PDF | View/Open | |
| comp0949sc_con.pdf | 405.32 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_ch1.pdf | 131.14 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_ch2.pdf | 251.57 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_ch3.pdf | 200.95 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_ch4.pdf | 249.51 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_ch5.pdf | 105.62 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_bib.pdf | 79.44 kB | Adobe PDF | View/Open Request a copy | |
| comp0949sc_app.pdf | 96.47 kB | Adobe PDF | View/Open Request a copy |
Items in CMUIR are protected by copyright, with all rights reserved, unless otherwise indicated.