บทความวิจัยพ.ศ. 2558Formal verification of contractual software architectures using SPIN พ.ศ. 2558 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญFormal verificationSoftware architecturesDesign-by-contractSPINงานวิจัยในหัวข้อใกล้เคียงA Novel Strategy for Formal Verification of Asynchronous Circuit Design in PAiD tool พ.ศ. 2558Current practices of dynamic-structural testing in programming assessments พ.ศ. 2559Review on security aspects for cloud architecture พ.ศ. 2561SPICE engine analysis and circuit simulation application development พ.ศ. 2559Paper-based verification design of trade business license in Indonesia พ.ศ. 2559