นายชานนท์ เดชสุภา
Keyword
การทวนสอบเชิงรูปนัย ,
โมเดลเช็คกิง ,
โมเดลซอฟต์แวร์ ,
อินเทอร์เน็ตของสรรพสิ่ง ,
การค้นหาข้อผิดพลาด ,
Research project : 1 record
2565 : Formal Verification of The Internet of Things Model using Model Checking Technique and LSTM Network.
การทวนสอบเชิงรูปนัยสำหรับโมเดลอินเทอร์เน็ตของสรรพสิ่งโดยใช้เทคนิคโมเดลเช็คกิงและเน็ตเวิร์คแอลเอสทีเอ็ม
- Copyright © RAD KKU 2020