default author photo

Ayodeji James Akande

affiliation not provided to SSRN

SCHOLARLY PAPERS

1

DOWNLOADS

103

TOTAL CITATIONS

1

Scholarly Papers (1)

1.

Ltl-Based Runtime Verification Framework for Cyber-Attack Anomaly Prediction in Cyber-Physical Systems

Number of pages: 39 Posted: 02 May 2024
Ayodeji James Akande, Ernest Foo, Zhe Hou and Qinyi Li
affiliation not provided to SSRN, Griffith University, Griffith University and affiliation not provided to SSRN
Downloads 103 (689,572)
Citation 1

Abstract:

Loading...

Runtime verificationLinear temporal logicCyber-physical systemsCybersecurityCritical Infrastructure