Request a document copy: การทวนสอบอย่างเป็นแบบแผนของข้อกำหนดที่เขียนด้วยตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Formal verification of specification written by discrete event calculus model / สุดารณี จันทรมานนท์

Requester name:

Requester e-mail:

Files:

all files (of this document) in restricted access

the file(s) you requested

Message:

Cancel Send