Login / Signup
Ayodeji James Akande
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Association Rules
Model Checking
Top Venues
ICFEM
</>
Publications
</>
Ayodeji James Akande
,
Zhe Hou
,
Ernest Foo
,
Qinyi Li
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning.
ICFEM
(2023)