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,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 68 Downloads 571 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,864 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,438 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 268 Downloads 1,003 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,553 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 433 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,763 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
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,557 Downloads 8,723 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,308 Downloads 8,956 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,630 Downloads 10,047 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,152 Downloads 10,428 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,101 Downloads 14,490 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,203 Downloads 15,187 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,066 Downloads 6,898 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,428 Downloads 19,071 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,324 Downloads 9,870 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,145 Downloads 4,370 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,120 Downloads 4,336 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