AADL; Timed Automata; Transformation; Verification; Uppaal - Articles

Literature Review of Strategic Transformation—Based on the Literature Supported by the National Natural Science Fund and the National Social Science Fund of China (Articles)

Yuting Wu

American Journal of Industrial and Business Management Vol.8 No.2，February 11, 2018

DOI: 10.4236/ajibm.2018.82015 1,237 Downloads 3,504 Views Citations
Simulation of Learners’ Behaviors Based on the Modified Cellular Automata Model (Articles)

Zhenyan Liang, Haiyan Liu, Chaoying Zhang, Shangyuan Yang

Intelligent Information Management Vol.2 No.9，October 13, 2010

DOI: 10.4236/iim.2010.29065 3,996 Downloads 7,148 Views Citations
Using Intelligent Computational Methods for Optimizing Niching Method (Articles)

Mohsen Jahanshahi

International Journal of Intelligence Science Vol.1 No.1，July 29, 2011

DOI: 10.4236/ijis.2011.11001 5,305 Downloads 12,937 Views Citations
An Application of Linear Automata to Near Rings (Articles)

Songfa You, Yijun Feng, Ming Cao, Yaping Wei

Applied Mathematics Vol.3 No.11，November 14, 2012

DOI: 10.4236/am.2012.311223 3,193 Downloads 5,247 Views Citations
The Equivalent Conversion between Regular Grammar and Finite Automata (Articles)

Jielan Zhang, Zhongsheng Qian

Journal of Software Engineering and Applications Vol.6 No.1，January 30, 2013

DOI: 10.4236/jsea.2013.61005 17,228 Downloads 27,174 Views Citations
An Automata-Based Approach to Pattern Matching (Articles)

Ali Sever

Intelligent Control and Automation Vol.4 No.3，August 8, 2013

DOI: 10.4236/ica.2013.43036 7,239 Downloads 9,051 Views Citations
Study on Simulation of Foreshock Activity Properties before Strong Earthquake Using Heterogeneous Cellular Automata Models (Articles)

Meng Li, Feng Yang, Tao Zhang

International Journal of Geosciences Vol.5 No.3，March 27, 2014

DOI: 10.4236/ijg.2014.53028 4,304 Downloads 5,811 Views Citations
Comparative Study on Occupant Evacuation with Building EXODUS and a Cellular Automaton Model (Articles)

Daoliang Zhao, Batyr Yegenmammedov, Peichen Liu, Meiting Zhang

Open Journal of Safety Science and Technology Vol.7 No.1，March 28, 2017

DOI: 10.4236/ojsst.2017.71004 2,406 Downloads 3,689 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,507 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,848 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,517 Downloads 4,585 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,729 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,870 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,371 Downloads 3,671 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,114 Downloads 6,513 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 97 Downloads 510 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 12 Downloads 94 Views Citations
Equivalence of Subclasses of Two-Way Non-Deterministic Watson Crick Automata (Articles)

Kumar Sankar Ray, Kingshuk Chatterjee, Debayan Ganguly

Applied Mathematics Vol.4 No.10A，September 30, 2013

DOI: 10.4236/am.2013.410A1005 3,686 Downloads 5,700 Views Citations
This article belongs to the Special Issue on Computer Mathematics

<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