ISSN: 1683-3198
|
e-ISSN: 2309-4524
|
DOI: 10.34028/iajit
Submit your Paper
Track your Paper
Submitted before 1st, April 2023
Submitted after 1st, April 2023
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: computational tree logic
Editorial Board
Technical Committee
Instruction to Authors
Article Processing Charges
Submit your Paper
Track your Paper
Submitted before 1st, April 2023
Submitted after 1st, April 2023
Instructions to Reviewers
Review Paper
Statistics
Toward Proving the Correctness of TCP Protocol Using CTL
Rafat Alshorman
#CTL
# model checking
# TCP protocols
# correctness conditions
# kripke structure
CTL Model Checking Based on Binary Classification of Machine Learning
Weijun Zhu,Huanmei Wu
#Model checking
#computational tree logic
#machine learning
#binary classification
All Rights reserved to IAJIT 2023
Powered by:
TurnPoint