บทความวิจัยพ.ศ. 2562A VNF modeling approach for verification purposes พ.ศ. 2562 ติดต่อนักวิจัย แชร์ บันทึกคำสำคัญModelingFormal verificationModel extractionNetwork functionsParserงานวิจัยในหัวข้อใกล้เคียงFPGA-Assisted Assertion-Based Verification Platform Universiti Teknologi Malaysia พ.ศ. 2563An optimized method towards formal verification of mixed signals using differential fed neural network over FFNN พ.ศ. 2562Evaluation of Bayesian model and MCMC validity in verification of piecewise smooth signature พ.ศ. 2558Formal verification of contractual software architectures using SPIN พ.ศ. 2558Signature verification using normalized static features and neural network classification พ.ศ. 2559Integrity verification for an optimized cloud architecture พ.ศ. 2563Dependency Types Validation of Precedence Diagram Method Using Ontology จุฬาลงกรณ์มหาวิทยาลัย พ.ศ. 2561Verifiable secure computation of linear fractional programming using certificate validation พ.ศ. 2563Validity testing of technology acceptance model based on factor analysis approach พ.ศ. 2560QR code integrity verification based on modified SHA-1 algorithm พ.ศ. 2561