ISSN: 1683-3198
|
e-ISSN: 2309-4524
|
DOI: 10.34028/iajit
Submit your Paper
Track your Paper
The International Arab Journal of Information Technology
(IAJIT)
Home
About IAJIT
Aims and Scopes
Current Issue
Archives
Submission
Announcement
Indexing
Contact Us
Home
/
Search for: Shengbing Ren and Xiang Zhang
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Instructions to Reviewers
Review Paper
Statistics
Synthesizing Conjunctive and Disjunctive Linear Invariants by K-means++ and SVM
Shengbing Ren and Xiang Zhang
#Software verification
# conjunctive invariant
# disjunctive invariant
# k-means++
# SVM
All Rights reserved to IAJIT 2024
Powered by:
TurnPoint