Rule 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 225 Downloads 1,101 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 563 Views Citations
Born Rule and Noncontextual Probability (Articles)

Fabrizio Logiurato, Augusto Smerzi

Journal of Modern Physics Vol.3 No.11, November 28, 2012

DOI: 10.4236/jmp.2012.311225 6,957 Downloads 10,857 Views Citations
The Taylor Rule and the Sandpile: The Taylor Contribution and Other Matters (Articles)

Juan L. Valderrábano López, Miguel A. Alonso Neira

Open Journal of Modelling and Simulation Vol.5 No.4, August 10, 2017

DOI: 10.4236/ojmsi.2017.54014 1,128 Downloads 2,434 Views Citations
An Analysis of the Dilemma of Implementing the Rule of Law at the Grassroots Level in China—Centered on Rural China
—Implementation of the Rule of Law in China—Taking Rural China as the Core (Articles)

Siyao Li, Kaixu Yang, Zhenyao Tong, Yanlin Li, Taoyuan Yu

Advances in Applied Sociology Vol.12 No.6, June 30, 2022

DOI: 10.4236/aasoci.2022.126022 266 Downloads 999 Views Citations
Advancements in Medication Rule for Pulmonary Nodules: A Review of Current Research Progress (Articles)

Weilan Lin, Shun Chen, Feng Lu

Journal of Biosciences and Medicines Vol.12 No.3, March 20, 2024

DOI: 10.4236/jbm.2024.123017 181 Downloads 1,543 Views Citations
Exploration of the Collaborative Path between Ideological and Political Work and Rule of Law Work (Articles)

Sen Wang

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

DOI: 10.4236/oalib.1113148 51 Downloads 431 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,561 Downloads 12,758 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,404 Views Citations
Eliminating Forgers Based on Intra Trial Variability in Online Signature Verification Using Handglove and Photometric Signals (Articles)

Andrews Samraj, Shohel Sayeed, Loo Chu Kiong, Nikos E. Mastorokis

Journal of Information Security Vol.1 No.1, July 30, 2010

DOI: 10.4236/jis.2010.11003 4,556 Downloads 8,719 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,303 Downloads 8,944 Views Citations
Extending the Strand Space Method with Timestamps: Part I the Theory (Articles)

Yongjian Li, Jun Pang

Journal of Information Security Vol.1 No.2, October 29, 2010

DOI: 10.4236/jis.2010.12006 5,627 Downloads 10,040 Views Citations
Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V (Articles)

Yongjian Li, Jun Pang

Journal of Information Security Vol.1 No.2, October 29, 2010

DOI: 10.4236/jis.2010.12007 6,148 Downloads 10,420 Views Citations
Software Engineering Principles: Do They Meet Engineering Criteria? (Articles)

Kenza Meridji, Alain Abran

Journal of Software Engineering and Applications Vol.3 No.10, November 19, 2010

DOI: 10.4236/jsea.2010.310114 8,098 Downloads 14,481 Views Citations
Online Fingerprint Verification Algorithm and Distributed System (Articles)

Ping Zhang, Xi Guo, Jyotirmay Gadedadikar

Journal of Signal and Information Processing Vol.2 No.2, May 26, 2011

DOI: 10.4236/jsip.2011.22011 8,201 Downloads 15,179 Views Citations
Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

International Journal of Communications, Network and System Sciences Vol.5 No.3, March 21, 2012

DOI: 10.4236/ijcns.2012.53021 4,065 Downloads 6,893 Views Citations
Syntax-Tree Regular Expression Based DFA FormalConstruction (Articles)

Nazir Ahmad Zafar, Fawaz Alsaade

Intelligent Information Management Vol.4 No.4, July 27, 2012

DOI: 10.4236/iim.2012.44021 12,426 Downloads 19,068 Views Citations
Behavior of the Numerical Integration Error (Articles)

Tchavdar Marinov, Joe Omojola, Quintel Washington, LaQunia Banks

Applied Mathematics Vol.5 No.10, May 23, 2014

DOI: 10.4236/am.2014.510133 7,321 Downloads 9,863 Views Citations
Empirical Analysis on the Practical Feasibility of Timber Legality Verification Work in China (Articles)

Jianquan Li, Shaozhi Chen

Open Journal of Political Science Vol.5 No.3, April 2, 2015

DOI: 10.4236/ojps.2015.53018 3,142 Downloads 4,364 Views Citations
Modeling and Simulation of Hydraulic Hammer for Sleeve Valve (Articles)

Zishan Xu, Guoping Yang

Engineering Vol.8 No.9, September 29, 2016

DOI: 10.4236/eng.2016.89059 2,119 Downloads 4,331 Views Citations

First <123 ...>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