Adebowale Ajayi

Adebowale Ajayi
Babcock University Ilishan Remo · Computer Science

Doctor of Philosophy

About

3
Publications
3,551
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
49
Citations
Citations since 2016
0 Research Items
46 Citations
20162017201820192020202120220246810
20162017201820192020202120220246810
20162017201820192020202120220246810
20162017201820192020202120220246810

Publications

Publications (3)
Article
Full-text available
Formal methods use mathematical models for analysis and verification at any part of the programlife-cycle. The use of formal methods is admitted, recommended, and sometimes prescribed in safety-and security-related standards dealing, e.g., with avionics, railways, nuclear energy, and secure information systems.This paper describes the state of the...
Conference Paper
Full-text available
As network continue to grow it is increasingly important that network administrators are aware of the different types of traffic that is traversing their networks as well as provides sufficient means for decision making process. Traffic monitoring and analysis is essential in order to more effectively troubleshoot and resolve issues when they occur...

Network

Cited By