Formal Verification - Articles - Scientific Research Publishing

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,522 Downloads 4,235 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,326 Downloads 7,794 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 212 Downloads 1,050 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 544 Views Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.5, May 26, 2021

DOI: 10.4236/jamp.2021.95070 362 Downloads 1,282 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3, October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,482 Downloads 11,397 Views Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism (Articles)

K. Robert Bridges, Richard J. Harnish

Psychology Vol.6 No.13, October 19, 2015

DOI: 10.4236/psych.2015.613164 4,435 Downloads 6,941 Views Citations
Impacts of Transnational Labor Migration on Learning Process: A Case Study of Nepalese Children and Women Staying Behind (Articles)

Anchala Chaudhary

Open Journal of Social Sciences Vol.4 No.11, November 25, 2016

DOI: 10.4236/jss.2016.411007 1,548 Downloads 3,300 Views Citations
The Effects of Small Crops Farmers’ Education to the Accessibility of Financing and Use Patterns of Crops (Articles)

Zamzami

Modern Economy Vol.8 No.12, December 11, 2017

DOI: 10.4236/me.2017.812098 853 Downloads 1,793 Views Citations
Formal Logic and Carnap’s Rejection of Metaphysics: A Short Reflection (Articles)

Michael Perrick

Open Journal of Philosophy Vol.8 No.5, November 29, 2018

DOI: 10.4236/ojpp.2018.85040 1,313 Downloads 4,678 Views Citations
Environmental Education in Brazil: Socio-Historical Perspectives in Formal Teaching for Sustainability (Articles)

Francisco Arapiraca dos Santos, Elidinaldo da Silva Leite, Ricardo José Rocha Amorim, Dinani Gomes Amorim

Creative Education Vol.11 No.10, October 23, 2020

DOI: 10.4236/ce.2020.1110150 906 Downloads 2,860 Views Citations
Employment Access and Job Search Channels for Young People in Congo (Articles)

Michel Okiemy, Sylvaniste Etsiba

Theoretical Economics Letters Vol.11 No.2, April 15, 2021

DOI: 10.4236/tel.2021.112021 587 Downloads 1,968 Views Citations
A Conceptual Model That Identifies Mathematical Models and Lean Techniques for Problem-Solving at the Different Decision-Making Levels of Service Companies (Articles)

Zaida E. Alarcón Bernal, Ricardo Aceves García, Arturo Fuentes Zenón

Journal of Service Science and Management Vol.14 No.2, April 19, 2021

DOI: 10.4236/jssm.2021.142011 709 Downloads 2,325 Views Citations
Effect of Motivational Strategies on Employee Performance in Nigerian Commercial Banks (Articles)

Taiwo Akinsola, Hadiza Abubakar Saidu, Taiwo Adewale Muritala, Akeem Adewale Bakare

Open Journal of Social Sciences Vol.11 No.9, September 19, 2023

DOI: 10.4236/jss.2023.119024 834 Downloads 6,842 Views Citations
Generalized Powers of Substitution with Pre-Function Operators (Articles)

Laurent Poinsot

Applied Mathematics Vol.4 No.7A, July 5, 2013

DOI: 10.4236/am.2013.47A004 3,248 Downloads 5,282 Views Citations
This article belongs to the Special Issue on Fractional Calculus Theory and Application
A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.9 No.3, March 25, 2021

DOI: 10.4236/jamp.2021.93031 473 Downloads 1,515 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,498 Downloads 12,670 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,858 Downloads 7,341 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,531 Downloads 8,677 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,586 Downloads 9,973 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