Author:
Ojo Oluwafolake E.,Oluwatope Ayodeji O.,Ajadi Suraju O.
Funder
Tertiary Education Trust Fund
Academic Staff Training and Development
Federal University of Agriculture
Reference65 articles.
1. Physics-based motion planning with temporal logic specifications;Akbari;IFAC-PapersOnLine,2017
2. Impact of adverse network conditions on P2P-tv systems: Experimental evidence;Alessandria;Comput. Netw.,2011
3. Video Compression Standards, Wiley Encyclopedia of Electrical and Electronics Engineering;Apostolopoulos,1999
4. Armando, A., Carbone, R., Compagna, L., Li, K., Pellegrino, G., 2010. Model-checking driven security testing of web-based applications. In: Third International Conference on Software Testing, Verification, and Validation Workshops (ICSTW), IEEE, pp. 361–370.
5. Model checking of security-sensitive business processes;Armando,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献