Model Verification - Articles - Scientific Research Publishing

A Study on Configuration and Integration of Sub-Systems to System-of-Systems with Rule Verification (Articles)

Tim Warnecke

Engineering Vol.7 No.10，October 26, 2015

DOI: 10.4236/eng.2015.710056 2,862 Downloads 3,627 Views Citations
Analytical Solutions for Testing of Baroclinic and Wind-Driven Three-Dimensional Hydrodynamic Models (Articles)

Cheng He

Journal of Applied Mathematics and Physics Vol.12 No.8，August 20, 2024

DOI: 10.4236/jamp.2024.128171 60 Downloads 799 Views Citations
Dynamic Signature Verification Using Pattern Recognition (Articles)

Emmanuel Nwabueze Ekwonwune, Duroha Austin Ekekwe, Chinyere Iheakachi Ubochi, Henry Chinedu Oleribe

Journal of Software Engineering and Applications Vol.17 No.5，May 27, 2024

DOI: 10.4236/jsea.2024.175012 121 Downloads 715 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2，February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,130 Downloads 4,174 Views Citations
Oil Spill Model Operational Application in Damage Assessment and Case Study of Validation (Articles)

Bing Qiao, Feng Xiao, Ru Lan, Tao Li, Chunchao Li

Journal of Environmental Protection Vol.9 No.5，May 24, 2018

DOI: 10.4236/jep.2018.95033 886 Downloads 1,806 Views Citations
Composition Analysis and Identification of Ancient Glass Products Based on L1 Regularization Logistic Regression (Articles)

Yuqiao Zhou, Xinyang Xu, Wenjing Ma

Applied Mathematics Vol.15 No.1，January 30, 2024

DOI: 10.4236/am.2024.151006 141 Downloads 334 Views Citations
Implementation of HACCP Plan for the Production of Egyptian Kishk (A Traditional Fermented Cereal-Milk Mixture) (Articles)

Mohamed M. Abd El-Razik, Mohamed F. Y. Hassan, Mohamed G. E. Gadallah

Food and Nutrition Sciences Vol.7 No.13，November 15, 2016

DOI: 10.4236/fns.2016.713116 2,729 Downloads 6,229 Views Citations
This article belongs to the Special Issue on Food Safety
Integrate Liveness Detection with Iris Verification to Construct Support Biometric System (Articles)

Hanaa Mohsin Ahmad, Bushra Jabbar Abdulkareem

Journal of Computer and Communications Vol.4 No.1，January 26, 2016

DOI: 10.4236/jcc.2016.41003 5,064 Downloads 6,194 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,894 Downloads 16,380 Views Citations
Characteristics of Acute Flaccid Paralysis Reported by the Surveillance System and Verified by WHO Officer in Akwa Ibom State-Nigeria, 2006-2012 (Articles)

Bassey Enya Bassey, Vaz Gama Rui, Alex Ntale Gasasira, Mkanda Pascal, Goitom Weldegbriel, Ticha Johnson Mulum, Sylvester T. Maleghemi, Emem Abasi Bassey

Health Vol.6 No.19，November 12, 2014

DOI: 10.4236/health.2014.619299 4,210 Downloads 5,818 Views Citations
A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC (Articles)

Chong LI, Xiaotong ZHANG, Yadong WAN, Qin WANG

Int'l J. of Communications, Network and System Sciences Vol.1 No.2，July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,299 Downloads 9,508 Views Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models (Articles)

Mohamed El-Kamel Hamdane, Allaoui Chaoui, Martin Strecker

Journal of Software Engineering and Applications Vol.6 No.3，March 29, 2013

DOI: 10.4236/jsea.2013.63019 4,391 Downloads 8,347 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4，April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,514 Downloads 7,848 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2，June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,517 Downloads 4,586 Views Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval (Articles)

Rajat Roy

Open Access Library Journal Vol.3 No.2，February 4, 2016

DOI: 10.4236/oalib.1102334 942 Downloads 1,729 Views Citations
Verification of Mongolian Cyclone-Induced Snowstorm Model Forecast in Jilin Province, China (Articles)

Dongxue Fu, Xueyan Yang, Ning Wang, Yao Yao

Journal of Geoscience and Environment Protection Vol.5 No.8，July 21, 2017

DOI: 10.4236/gep.2017.58003 854 Downloads 1,527 Views Citations
Accuracy Comparison of 4D Computed Tomography (4DCT) and 4D Cone Beam Computed Tomography (4DCBCT) (Articles)

Tzu-Cheng Lee, Stephen R. Bowen, Sara St. James, George A. Sandison, Paul E. Kinahan, Matthew J. Nyflot

Int'l J. of Medical Physics, Clinical Eng. and Radiation Oncology Vol.6 No.3，August 30, 2017

DOI: 10.4236/ijmpcero.2017.63029 2,251 Downloads 4,871 Views Citations
Research and Application of Supercapacitor Charging System (Articles)

Minghai Duan, Xiaoxiao Cao, Qiyu Zhang, Xiaohui Chen

Open Access Library Journal Vol.5 No.4，April 20, 2018

DOI: 10.4236/oalib.1104544 904 Downloads 3,237 Views Citations
A Matlab/Simulink Development and Verification Platform for a Frequency Estimation System (Articles)

Yingtai Li, Lisheng Yang, Xin Lei, Rui Ma, Luncai Liu, Fan Liu, Yao Yao

Journal of Computer and Communications Vol.6 No.11，November 19, 2018

DOI: 10.4236/jcc.2018.611010 1,371 Downloads 3,672 Views Citations
An Enhanced Web Base Certificate Verification System (Articles)

Izuchukwu Chijioke Emele, Stanley Ikechukwu Oguoma, Kanayo Kizito Uka, Emeka Christian Nwaoha

Open Access Library Journal Vol.7 No.7，July 30, 2020

DOI: 10.4236/oalib.1106342 1,114 Downloads 6,517 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies