System Integration and Verification - Articles - Scientific Research Publishing

Some Constitutional and Legal Aspects in Society Political System Structure (Articles)

Nazira Kolsarieva, Erkin Duisenov, Nurgul Atabekova, Niiazbek Pazylov, Tolgonai Uraimova, Ravil Mazitov, Zhypargul Abdullaeva

Open Journal of Social Sciences Vol.9 No.9, September 1, 2021

DOI: 10.4236/jss.2021.99003 298 Downloads 1,969 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

International Journal of Communications, Network and System Sciences Vol.1 No.2, July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,517 Downloads 10,028 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,596 Downloads 8,837 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,762 Downloads 8,551 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,735 Downloads 5,128 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 1,019 Downloads 2,135 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 994 Downloads 2,006 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

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.6 No.3, August 30, 2017

DOI: 10.4236/ijmpcero.2017.63029 2,514 Downloads 5,792 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 1,003 Downloads 3,713 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,549 Downloads 4,291 Views Citations
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 225 Downloads 1,105 Views Citations
Verification of Quantitative Analytical Methods for Routine Clinical Biochemistry Analytes on Alinity ci Series and Architect ci 8200 at the Mohammed VI University Hospital of Oujda (Morocco) (Articles)

Oussama Rahhab, Dounia El-Moujtahide, El-Houcine Sebbar, Mohammed Choukri

Open Access Library Journal Vol.12 No.3, March 25, 2025

DOI: 10.4236/oalib.1113040 67 Downloads 569 Views Citations
On Enterprise Information System Research Trend
—Based on the Keywords Frequency Analysis of Journal EIS 2007-2015 (Articles)

Jiangping Wan, Qiaowen Jiang

Open Journal of Social Sciences Vol.4 No.4, April 21, 2016

DOI: 10.4236/jss.2016.44012 2,257 Downloads 3,486 Views Citations
The Exploration of a Phased Comprehensive Examination Method in College Physics Experiments (Articles)

Xinshun Wang, Benyang Wang, Wenge Qu, Weiyan Jiao, Chengfeng Li, Guanghua Fan, Yi Liu, Shukun Zhao

Open Journal of Social Sciences Vol.7 No.3, March 13, 2019

DOI: 10.4236/jss.2019.73013 989 Downloads 2,020 Views Citations
Process of Security Assurance Technique for Application Functional Logic in E-Commerce Systems (Articles)

Faisal Nabi, Jianming Yong, Xiaohui Tao, Muhammad Saqib Malhi, Muhammad Farhan, Umar Mahmood

Journal of Information Security Vol.12 No.3, May 14, 2021

DOI: 10.4236/jis.2021.123010 620 Downloads 2,742 Views Citations
Analysis of the Modeling of the Influence of Decentralized Solar Energy PV on the Intensity of Short-Circuit Currents of the Power Electric System (Articles)

Anthony Bassesuka Sandoka Nzao

Open Journal of Applied Sciences Vol.15 No.9, September 26, 2025

DOI: 10.4236/ojapps.2025.159195 59 Downloads 345 Views Citations
Typology of Five Generations of Heavy Trucks (Articles)

Lihua Liu, Mike Danilovic, Lifang Liu, Shuan Zhu, Zhen Hu

World Journal of Engineering and Technology Vol.13 No.4, November 17, 2025

DOI: 10.4236/wjet.2025.134060 78 Downloads 535 Views Citations
Stochastic Social Welfare Maximization for Wind Power Integration in Electricity Spot Markets: A DC-OPF Approach with Nodal Pricing and Penetration Sensitivity Analysis (Articles)

Ye Cao

Open Journal of Applied Sciences Vol.16 No.5, May 25, 2026

DOI: 10.4236/ojapps.2026.165096 33 Downloads 152 Views Citations
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker (Articles)

Prabhu Kaliappan, Hartmut Koenig

Journal of Software Engineering and Applications Vol.1 No.1, December 9, 2008

DOI: 10.4236/jsea.2008.11003 6,562 Downloads 12,762 Views Citations
Probabilistic Verification over GF(2m) Using Mod2-OBDDs (Articles)

J.L. Imana

Intelligent Information Management Vol.2 No.2, March 16, 2010

DOI: 10.4236/iim.2010.22012 3,901 Downloads 7,405 Views Citations

First <...234 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies