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

Requester name:

Requester e-mail:

Files:

all files (of this document) in restricted access

the file(s) you requested

Message:

Cancel Send