Please use this identifier to cite or link to this item: http://cmuir.cmu.ac.th/jspui/handle/6653943832/17802
Full metadata record
DC FieldValueLanguage
dc.contributor.authorอานพล รัตนชัยen_US
dc.date.accessioned2014-09-18T03:49:48Z-
dc.date.available2014-09-18T03:49:48Z-
dc.date.issued2547en_US
dc.identifier.govdocว 003.85 อ255ทen_US
dc.identifier.urihttp://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1363429en_US
dc.identifier.urihttp://cmuir.cmu.ac.th/handle/6653943832/17802-
dc.language.isothaen_US
dc.publisherเชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2547en_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)



Items in CMUIR are protected by copyright, with all rights reserved, unless otherwise indicated.