Verification Of Simulation Tools - Articles - Scientific Research Publishing

The Usefulness of Various Technological Tools in Enhancing Vocabulary Learning among FL Polish Learners of English (Articles)

Krzysztof Polok, Katarzyna Starowicz

Open Access Library Journal Vol.9 No.10，October 13, 2022

DOI: 10.4236/oalib.1109283 130 Downloads 1,173 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,299 Downloads 9,508 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,392 Downloads 8,348 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,514 Downloads 7,849 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,518 Downloads 4,588 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,862 Downloads 3,627 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 942 Downloads 1,730 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 854 Downloads 1,527 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,251 Downloads 4,875 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 904 Downloads 3,237 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,372 Downloads 3,678 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,116 Downloads 6,527 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 98 Downloads 525 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 13 Downloads 100 Views Citations
ALICE as a tool for programming at schools (Articles)

Ewa Graczyńska

Natural Science Vol.2 No.2，March 4, 2010

DOI: 10.4236/ns.2010.22021 4,977 Downloads 9,207 Views Citations
Assessment of Flood Hazard of Jeddah Area 2009, Saudi Arabia (Articles)

Mashael Al Saud

Journal of Water Resource and Protection Vol.2 No.9，September 30, 2010

DOI: 10.4236/jwarp.2010.29099 10,533 Downloads 21,486 Views Citations
The P40 Cutting Tool Wear Modelization Machining Fk20MnCr5 (Articles)

Idriss Amara, Embarek Ferkous, Fayçal Bentaleb, Razika Aouad

Engineering Vol.3 No.9，September 23, 2011

DOI: 10.4236/eng.2011.39114 5,294 Downloads 9,197 Views Citations
New Nanocrystalline Matrix Materials for Sintered Diamond Tools (Articles)

Janusz Konstanty, Andrzej Romanski

Materials Sciences and Applications Vol.3 No.11，November 27, 2012

DOI: 10.4236/msa.2012.311113 4,484 Downloads 7,308 Views Citations
Developing Mathematical Literacy,Based on Elemental Software and Academic Tools Development (Articles)

Oscar H. Salinas, Angel Estrada Arteaga, Martha E. Luna, Marco A. Amado González

Creative Education Vol.4 No.7B，July 19, 2013

DOI: 10.4236/ce.2013.47A2023 4,549 Downloads 6,894 Views Citations
This article belongs to the Special Issue on Higher Education
The Accuracy Analysis of Measurement Tools for Traffic Accident Investigation (Articles)

Darja Topolšek, Elvis A. Herbaj, Marjan Sternad

Journal of Transportation Technologies Vol.4 No.1，January 23, 2014

DOI: 10.4236/jtts.2014.41008 10,510 Downloads 14,282 Views Citations

<123 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies