Ayodeji James Akande
Orcid: 0000-0001-7124-4756
According to our database1,
Ayodeji James Akande
authored at least 3 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning.
Proceedings of the Formal Methods and Software Engineering, 2023
2015
Proceedings of the 38th Australasian Computer Science Conference, 2015
2014
Proceedings of the Twelfth Australasian Information Security Conference, 2014