@incollection{,
	
					
					
					3D3A4676B522259646F3A27DBBE95091
				,
	author={{Akinsola, Jide E.T.} and {Kuyoro, Afolashade,O.} and {Adeagbo, MorufA.} and {Awoseyi, AyomikunA.}},
	journal={{Global Journal of Computer Science and Technology}},
	journal={{GJCST}}0975-41720975-435010.34257/gjcst,
	address={Cambridge, United States},
	publisher={Global Journals Organisation}2011723
}

@incollection{b0,
	
	
		,
	title={{Breast Cancer Predictive Analytics Using Supervised Machine Learning Techniques}}
		,
	author={{
			JideE TAkinsola
		} and {
			Adeagbo
		} and {
			AMoruf
		} and {
			Awoseyi
		} and {
			AAyomikun
		}}
		
		
		
		
		10.30534/ijatcse/2019/70862019
		
	
	
		,
	journal={{International Journal of Advanced Trends in Computer Science and Engineering}}
		2278-3091
		
			8
			6
			
			,
	year={November -December 2019}
		
	

}

@incollection{b1,
	
	
		,
	title={{SQL Injection Attacks Predictive Analytics Using Supervised Machine Learning Techniques}}
		,
	author={{
			JideE TAkinsola
		} and {
			Awodele
		} and {
			;Oludele
		} and {
			SundayAIdowu
		} and {
			Kuyoro
		} and {
			OShade
		}}
		
		
		
		
		
		10.7753/IJCATR0904.1004
		
	
	
		,
	journal={{International Journal of Computer Applications Technology and Research}}
		-2319- 8656
		
			9
			04
			
			,
	year={2020. April, 2020}
		
	

}

@book{b2,
	
	
		,
	title={{Rigorous Software Development, A Practical Introduction to Program Verification. Series: Undergraduate Topics in Computer Science}}
		,
	author={{
			JBAlmeida
		} and {
			MJFrade
		} and {
			JSPinto
		} and {
			Melo De
		} and {
			SSousa
		}}
		
		
		
		
		
			,
	year={2011. 2011}
			,
	publisher={Springer Verlag}
		
	
	,
	note={1st Edition. 52 illus. Soft cover}

}

@book{b3,
	
	
		,
	title={{Big data for development: applications and techniques. Big Data Analytics, 1/2,1-24}}
		,
	author={{
			AAnwaar
		} and {
			QJunaid
		} and {
			RRaihan
		} and {
			SArjuna
		} and {
			ZAndrej
		} and {
			Jonc
		}}
		
		
		
		
		
		10.1186/s41044-016-0002-4
		
		
			,
	year={2016}
		
	

}

@incollection{b4,
	
	
		,
	title={{Introduction to Generalized Stochastic Petri Nets}}
		,
	author={{
			GBalbo
		}}
	
	
		,
	booktitle={{SFM 2007}}
		,
	booktitle={{LNCS}}
		Torino, Italy; Berlin Heidelberg
		
			,
	publisher={Springer-Verlag}
			,
	year={2007. 2007. 2007}
			185
			
		
	
	,
	note={Universit`a di Torino}

}

@book{b5,
	
	
		,
	title={{Queuing Networks. Dipartimento di Informatica Universit`a Ca' Foscari di Venezia Via Torino}}
		,
	author={{
			S & AndreaBalsamo
		} and {
			AMarin
		}}
		
		
			,
	year={2007}
			155
			30172
		
	

}

@incollection{b6,
	
	
	
	
		,
	booktitle={{SFM 2007}}
		,
	booktitle={{LNCS}}
		Venezia Mestre, Italy; Berlin Heidelberg
		
			,
	publisher={Springer-Verlag}
			,
	year={2007. 2007}
			4486
			
		
	

}

@book{b7,
	
	
		,
	title={{Formal Methods for Performance Evaluation. 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems}}
		,
	author={{
			MBernardo
		} and {
			JHillston
		}}
		
		
			,
	year={2007. 2007}
			,
	address={SFM}
		
	

}

@book{b8,
	
	
		,
	title={{Advanced Lectures}}
		
			,
	year={May 28-June 2, 2007. 2007}
			,
	publisher={Springer-Verlag}
			,
	address={Bertinoro, Italy; Berlin Heidelberg}
		
	

}

@incollection{b9,
	
	
		,
	title={{Universit`a di Urbino "Carlo Bo" -Italy Istituto di Scienze e Tecnologie dell'Informazione}}
		,
	author={{
			MBernardo
		}}
	
	
		,
	booktitle={{SFM 2007}}
		,
	booktitle={{LNCS}}
		Berlin Heidelberg
		
			,
	publisher={Springer-Verlag}
			,
	year={2007. 2007. 2007}
			4486
			
		
	
	,
	note={A Survey of Markovian Behavioral Equivalences}

}

@book{b10,
	
	
		,
	author={{
			&Bowen
		} and {
			Stavridou
		}}
		
		,
	title={{Safety Critical Systems, Formal Methods and Standards}}
				
			,
	year={1993}
		
	

}

@incollection{b11,
	
	
		,
	title={{Seven More Myths of Formal Methods}}
		,
	author={{
			JPBowen
		} and {
			MGHinchey
		}}
		
	
	
		,
	journal={{IEEE Software}}
		
			12
			
			,
	year={1995. 1995}
		
	

}

@incollection{b12,
	
	
		,
	title={{Stochastic Process Algebras. LFCS, School of Informatics}}
		,
	author={{
			AClark
		} and {
			SGilmore
		} and {
			JHillston
		} and {
			MTribastone
		}}
		
		
		
	
	
		,
	booktitle={{SFM 2007}}
				Berlin Heidelberg
		
			,
	publisher={Springer-Verlag}
			,
	year={2007. 2007. 2007}
			4486
			
		
		
			University of Edinburgh
		
	

}

@incollection{b13,
	
	
		,
	title={{Supervised Machine Learning Algorithms: Classification and Comparison}}
		,
	author={{
			FYOsisanwo
		} and {
			JE TAkinsola
		} and {
			OAwodele
		} and {
			JOHinmikaiye
		} and {
			OOlakanmi
		} and {
			JAkinjobi
		}}
		
		
		
		
		
		10.14445/22312803/IJCTT-V48P126
		
	
	
		,
	journal={{International Journal of Computer Trends and Technology}}
		
			48
			,
	year={2017}
		
	

}

@book{b14,
	
	
		,
	title={{A Formal Method for Assessing Interoperability using Architecture Model Elements and Relationships}}
		,
	author={{
			KGiammarco
		} and {
			GXie
		} and {
			CAWhitcomb
		}}
		
		
		
			,
	year={2012. 2012}
		
	

}

@book{b15,
	
	
		,
	title={{Performance Evaluation of Computer and Communication Systems}}
		,
	author={{
			Jean-Yves &Boudec
		} and {
			L
		}}
		
		
			,
	year={2010. 2010}
			,
	publisher={EPFL Press}
			,
	address={Lausanne, Switzerland}
		
	

}

@incollection{b16,
	
	
		,
	title={{Performance Evaluation of Supervised Machine Learning Algorithms Using Multi-Criteria Decision Making Techniques}}
		,
	author={{
			JE TAkinsola
		} and {
			SOKuyoro
		} and {
			O& F AAwodele
		} and {
			Kasali
		}}
		
		
		
	
	
		,
	booktitle={{International Conference on Information Technology in Education and Development (ITED) Proceedings}}
				
			,
	year={2019}
			
		
	

}

@book{b17,
	
	
		,
	author={{
			RKling
		}}
		,
	title={{Systems Safety, Normal Accidents and Social Vulnerability}}
				
			,
	year={1994}
		
	

}

@incollection{b18,
	
	
		,
	title={{Stochastic Model Checking}}
		,
	author={{
			MKwiatkowska
		} and {
			GNorman
		} and {
			DParker
		}}
		
		
	
	
		,
	booktitle={{LNCS}}
		
			4486
			
			,
	year={2007. 2007. 2007. 2007}
			,
	publisher={Springer-Verlag}
		
		
			School of Computer Science, University of Birmingham Edgbaston
		
	

}

@incollection{b19,
	
	
		,
	title={{Formal Specification: A Roadmap}}
		,
	author={{
			AVLamsweerde
		}}
	
	
		,
	booktitle={{Proceedings of the Conference on the Future of Software Engineering}}
				the Conference on the Future of Software Engineering
		
			,
	publisher={ACM}
			,
	year={2000. 2000}
			
		
	

}

@book{b20,
	
	
		,
	author={{
			JLeskovec
		} and {
			ARajaraman
		} and {
			DJ&ullman
		}}
		
		
		,
	title={{Mining of Massive Datasets}}
				
			,
	year={2014}
		
	

}

@book{b21,
	
	
		,
	title={{Rigorous Software Development: An introduction}}
		,
	author={{
			SMelo De Sousa
		}}
		
			,
	year={2011}
		
	

}

@book{b22,
	
	
		,
	title={{Formal Methods. Carnegie Mellon University, 18-849b Dependable Embedded Systems}}
		,
	author={{
			MichaelCollins
		} and {
			M
		}}
		
		
		
			,
	year={1998. 1998}
		
	

}

@book{b23,
	
	
		,
	title={{Formal Verification of the AAMP5 Microprocessor}}
		,
	author={{
			&Miller
		} and {
			Srivas
		}}
		
		
			,
	year={1995}
		
	

}

@incollection{b24,
	
	
		,
	title={{Formal Methods: Benefits, Challenges and Future Direction}}
		,
	author={{
			BMona
		} and {
			MAmit
		} and {
			DMeenu
		}}
		
		
	
	
		,
	journal={{Journal of Global Research in Computer Science © JGRCS}}
		
			4
			5
			
			,
	year={2010. 2010. May 2013}
		
	

}

@incollection{b25,
	
	
		,
	title={{The Art of Systems Architecting}}
		,
	author={{
			ERechtin
		}}
	
	
		,
	journal={{IEEE Spectrum}}
		
			29
			
			,
	year={1992. 1992}
		
	

}

@incollection{b26,
	
	
		,
	title={{A Formal Method for Evaluation of a Modeled System Architecture}}
		,
	author={{
			MRodano
		} and {
			KGiammarcob
		}}
		
	
	
		,
	journal={{Procedia Computer Science}}
		
			20
			
			,
	year={2013. 2013}
		
	
	,
	note={Complex Adaptive Systems. Published by Elsevier B.V}

}

@book{b27,
	
	
		,
	title={{Formal Methods and their Role in the Certification of Critical Systems -SRI -1995}}
		,
	author={{
			JRushby
		}}
		
			,
	year={1995}
		
	

}

@incollection{b28,
	
	
		,
	title={{Introduction to Software Performance Engineering: Origins and Outstanding Problems. Performance Engineering Services}}
		,
	author={{
			CUSmith
		}}
	
	
		,
	booktitle={{SFM 2007}}
		,
	booktitle={{LNCS}}
		Santa Fe, NM; Berlin Heidelberg
		
			,
	publisher={Springer-Verlag}
			,
	year={2007. 2007. 2007}
			87504
			
		
	

}

@incollection{b29,
	
	
		,
	title={{Performance Modelling and Markov Chains}}
		,
	author={{
			WJStewart
		}}
	
	
		,
	booktitle={{SFM 2007}}
				Raleigh, NC 27695, USA; Berlin Heidelberg
		
			,
	publisher={Springer-Verlag}
			,
	year={2007. 2007}
			4486
			
		
		
			Department of Computer Science, North Carolina State University
		
	

}

@book{b30,
	
	
		,
	title={{Available at}}
		,
	author={{
			Wikipedia
		}}
		
		
			,
	year={2017}
		
	

}