บทความวิจัยพ.ศ. 2561Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification จุฬาลงกรณ์มหาวิทยาลัย พ.ศ. 2561 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญFormal verificationEvent-Breal-time software system.Timed Petri netsงานวิจัยในหัวข้อใกล้เคียงAlgorithm to convert signal interpreted petri net models to programmable logic controller ladder logic diagram models Universiti Teknologi Malaysia พ.ศ. 2561A Novel Strategy for Formal Verification of Asynchronous Circuit Design in PAiD tool พ.ศ. 2558Formal verification of contractual software architectures using SPIN พ.ศ. 2558Formal specification of QoS negotiation in ODP system พ.ศ. 2560Software for simplifying embedded system design based on event-driven method พ.ศ. 2558