Command Palette

Search for a command to run...

กลับไปผลการค้นหา
บทความวิจัยพ.ศ. 2561

Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification

จุฬาลงกรณ์มหาวิทยาลัย พ.ศ. 2561

คำสำคัญ

Formal verificationEvent-Breal-time software system.Timed Petri nets

งานวิจัยในหัวข้อใกล้เคียง

Timed Colored Petri Net (CPN) model of the Session Initiation Protocol (SIP) for formal verification of mobile applications

พ.ศ. 2558

Tool support for transforming Unified Modelling Language sequence diagram to coloured Petri nets

พ.ศ. 2559

Modeling Network Evolution by Colored Petri Nets

มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ พ.ศ. 2561

Algorithm to convert signal interpreted petri net models to programmable logic controller ladder logic diagram models

Universiti Teknologi Malaysia พ.ศ. 2561

การพัฒนาอุปกรณ์การเหนี่ยวนำการเป็นสัดเพื่อใช้กำหนดเวลาการผสมเทียม

วิวัฒน์ พัฒนาวงศ์ มหาวิทยาลัยแม่โจ้ พ.ศ. 2557

Time series based for online signature verification

พ.ศ. 2556

ระบบคะแนนสำหรับคาบเวลาพฤติกรรมโค

ธนดล รัตนวงศ์ พ.ศ. 2561

Place-labelled Petri net controlled grammars

Universiti Teknologi Malaysia พ.ศ. 2560

Petri net-based system modelling for performance analysis of reconfigurable soft-core processor using fpga

พ.ศ. 2559

การเพิ่มความแม่นยำให้กับการทำเหมืองข้อมูลอนุกรมเวลา โดยใช้ไดนามิกไทม์วอร์ปปิง

โชติรัตน์ รัตนามหัทธนะ คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย พ.ศ. 2552