Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Determination AHP Analysis of the Virtual Stage-Gate Process in the Global Scale Automotive Design
(Articles)
Fuat Ali Paker
,
Cem Alppay
,
Begüm Sertyesilisik
World Journal of Engineering and Technology
Vol.6 No.4
,November 30, 2018
DOI:
10.4236/wjet.2018.64062
678
Downloads
1,451
Views
Citations
The “Static” and “Dynamic” Design Verification Stages of the Lean Development Process: Automotive Industry
(Articles)
F. Ali Paker
World Journal of Engineering and Technology
Vol.8 No.1
,February 17, 2020
DOI:
10.4236/wjet.2020.81008
938
Downloads
2,138
Views
Citations
Lean Product Development Process with Design Verification Stages in the Value Stream of Automotive Industry
(Articles)
Fuat Ali Paker
Journal of Transportation Technologies
Vol.11 No.1
,December 31, 2020
DOI:
10.4236/jtts.2021.111003
662
Downloads
1,934
Views
Citations
Practical Implementation of Safety Verification in LNG Production Facilities
(Articles)
Achint Rastogi
,
Hossam A. Gabbar
Open Journal of Safety Science and Technology
Vol.1 No.2
,September 28, 2011
DOI:
10.4236/ojsst.2011.12005
5,391
Downloads
11,083
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,538
Downloads
5,642
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
4,984
Downloads
5,989
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,660
Downloads
15,790
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,067
Downloads
5,369
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,175
Downloads
9,217
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,304
Downloads
8,153
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,364
Downloads
7,444
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,394
Downloads
4,305
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,786
Downloads
3,381
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
898
Downloads
1,518
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
792
Downloads
1,339
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,155
Downloads
4,404
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
852
Downloads
2,859
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,286
Downloads
3,343
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
922
Downloads
5,171
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,179
Downloads
11,874
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top