Validation and Verification - Articles - Scientific Research Publishing

ProTSA: A Testing Process for Automotive Software Domain (Articles)

Renato Rafael Arcanjo, Luiz Eduardo Galvão Martins, Dirceu Lavoiser Fernandes Graci

Journal of Software Engineering and Applications Vol.17 No.7，July 23, 2024

DOI: 10.4236/jsea.2024.177033 97 Downloads 500 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8，August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,001 Downloads 8,289 Views Citations
Pyroelectric Plate with Magnetoelectric Effect (Articles)

Pavel Grinfeld, Michael Grinfeld

Journal of Applied Mathematics and Physics Vol.12 No.5，May 10, 2024

DOI: 10.4236/jamp.2024.125100 110 Downloads 333 Views Citations
Pedestrian Flow Simulation Validation and Verification Techniques (Articles)

Mohamed H. Dridi

Current Urban Studies Vol.3 No.2，June 16, 2015

DOI: 10.4236/cus.2015.32011 3,684 Downloads 5,183 Views Citations
Can Engineers Build AI/ML Systems? Analysis and an Alternative Approach (Articles)

Nikolaos Panagiotopoulos

Open Journal of Philosophy Vol.13 No.3，August 4, 2023

DOI: 10.4236/ojpp.2023.133034 183 Downloads 940 Views Citations
Seasonal Prediction of Tropical Cyclones and Storms over the Southwestern Indian Ocean Region Using the Generalized Linear Models (Articles)

Kombo Hamad Kai, Yohanna Wilson Shaghude, Christian Bs Uiso, Agnes Laurent Kijazi, Sarah Osima, Sara Abdalla Khamis, Asya Omar Hamad

Atmospheric and Climate Sciences Vol.13 No.2，March 13, 2023

DOI: 10.4236/acs.2023.132008 175 Downloads 1,080 Views Citations
Development Methodologies for Network Softwarization: A Comparison of DevOps, NetOps, and Verification (Articles)

Mehmet Beyaz

Int'l J. of Communications, Network and System Sciences Vol.16 No.5，May 31, 2023

DOI: 10.4236/ijcns.2023.165007 178 Downloads 698 Views Citations
Lessons Learned from Practical Independent Verification and Validation Based on IEEE 1012 (Articles)

Joon Ku Lee, Yang Mo Kim

Journal of Software Engineering and Applications Vol.5 No.10，October 31, 2012

DOI: 10.4236/jsea.2012.510093 5,708 Downloads 8,804 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,724 Downloads 6,214 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,063 Downloads 6,189 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,892 Downloads 16,372 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,813 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,500 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,390 Downloads 8,344 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,512 Downloads 7,836 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,583 Views Citations
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,861 Downloads 3,622 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,727 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,522 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,250 Downloads 4,860 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