UML; State Diagrams; Equivalence Relations; Formal Methods; Z notation; Validation and Verification - Articles

Capacitance of Vertical Parallel Junction Silicon Solar Cell under Monochromatic Modulated Illumination (Articles)

Gokhan Sahin, Moustapha Dieng, Mohamed Abderrahim Ould El Moujtaba, Moussa Ibra Ngom, Amary Thiam, Grégoire Sissoko

Journal of Applied Mathematics and Physics Vol.3 No.11, November 30, 2015

DOI: 10.4236/jamp.2015.311178 3,640 Downloads 5,135 Views Citations
Research on Dispersion Compensation of 40 GB/s Optical Duo-Binary Coded Transmission System (Articles)

Yue Zhou, Yufeng Shao, Zhifeng Wang, Changxiang Li, Junyi Zhou, Wenzhe Ma

Optics and Photonics Journal Vol.6 No.8B, August 25, 2016

DOI: 10.4236/opj.2016.68B031 1,966 Downloads 3,644 Views Citations
Phase Diagram and Edge States of Surface States of Topological Superconductors (Articles)

Weihao Zhao

World Journal of Condensed Matter Physics Vol.11 No.3, August 27, 2021

DOI: 10.4236/wjcmp.2021.113005 387 Downloads 1,469 Views Citations
Root Systems Lie Algebras (Articles)

Amor Hasić, Fatih Destović

Advances in Linear Algebra & Matrix Theory Vol.13 No.1, March 31, 2023

DOI: 10.4236/alamt.2023.131001 349 Downloads 1,976 Views Citations
Using Linear and Non-Linear Techniques to Characterize Gait Coordination Patterns of Two Individuals with NGLY1 Deficiency (Articles)

Charles S. Layne, Dacia Martinez Diaz, Christopher A. Malaya, Brock Futrell, Christian Alfaro, Hannah E. Gustafson, Bernhard Suter

Case Reports in Clinical Medicine Vol.13 No.9, September 24, 2024

DOI: 10.4236/crcm.2024.139048 81 Downloads 543 Views Citations
Reverse Engineering Approach for Analyzing and Transforming Graphical User Interface Source Code into Class Diagrams (Articles)

Herifidy Malalaniaina Andrianaivo, William Germain Dimbisoa, Thomas Mahatody

Journal of Computer and Communications Vol.13 No.3, March 26, 2025

DOI: 10.4236/jcc.2025.133007 137 Downloads 837 Views Citations
This article belongs to the Special Issue on Computer Science & Systems
New 5-Alkenyl Resorcinols from Lithraea molleoides (Vell). Eng. (Articles)

Alejandra Catalano, Beatriz Lantaño, Lucas Fabián, Paula López

American Journal of Plant Sciences Vol.11 No.6, June 29, 2020

DOI: 10.4236/ajps.2020.116062 543 Downloads 1,554 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

International Journal of Communications, Network and System Sciences Vol.1 No.2, July 10, 2008

DOI: 10.4236/ijcns.2008.12024 5,473 Downloads 9,955 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,568 Downloads 8,776 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,974 Downloads 4,026 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 1,005 Downloads 2,078 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 969 Downloads 1,948 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

International Journal of Medical Physics, Clinical Engineering and Radiation Oncology Vol.6 No.3, August 30, 2017

DOI: 10.4236/ijmpcero.2017.63029 2,469 Downloads 5,694 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 997 Downloads 3,677 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,507 Downloads 4,213 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,324 Downloads 7,764 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 535 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 356 Downloads 1,275 Views Citations
Equivalence Theory Applied to Anisotropic Thin Plates (Articles)

Madjid Haddad, Yves Gourinat, Miguel Charlotte

Engineering Vol.3 No.7, July 19, 2011

DOI: 10.4236/eng.2011.37080 6,902 Downloads 11,660 Views Citations
Are Government Bonds Net Wealth? Some Empirical Evidence (Articles)

Tito Belchior Silva Moreira, Geraldo da Silva e Souza, Fernando Antônio Ribeiro Soares

Modern Economy Vol.2 No.3, July 28, 2011

DOI: 10.4236/me.2011.23045 6,416 Downloads 11,671 Views Citations

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