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

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,330 Downloads 7,828 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 222 Downloads 1,082 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 554 Views Citations
Study the effect of formulation variables in the development of timed-release press-coated tablets by Taguchi design (Articles)

Chikkanna Narendra, Mayasandra SrinavasaIyengar Srinath

Natural Science Vol.2 No.4, May 7, 2010

DOI: 10.4236/ns.2010.24046 7,136 Downloads 15,654 Views Citations
Modeling of Fuel Elements Cycling System in Pebble Bed Reactor Based on Timed Places Control Petri Nets (Articles)

Hongbing Liu, Peng Shen, Dong Du, Xin Wang, Haiquan Zhang

Energy and Power Engineering Vol.5 No.4B, October 29, 2013

DOI: 10.4236/epe.2013.54B098 4,973 Downloads 6,461 Views Citations
The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra (Articles)

Zvi Retchkiman Konigsberg

Journal of Applied Mathematics and Physics Vol.3 No.7, July 14, 2015

DOI: 10.4236/jamp.2015.37104 2,753 Downloads 3,658 Views Citations
Timed Petri Net Models of Shared-Memory Bus-Based Multiprocessors (Articles)

Wlodek M. Zuberek

Journal of Computer and Communications Vol.6 No.10, October 10, 2018

DOI: 10.4236/jcc.2018.610001 866 Downloads 2,098 Views Citations
This article belongs to the Special Issue on Computer Architecture
Modeling and Performance Analysis of Weighted Priority Queueing for Packet-Switched Networks (Articles)

Dariusz Strzeciwilk, Wlodek M. Zuberek

Journal of Computer and Communications Vol.6 No.11, November 23, 2018

DOI: 10.4236/jcc.2018.611019 925 Downloads 2,855 Views Citations
Parallel Self-Timed Adder with Lookahead-Carry Generator (Articles)

Mohammad Ashfak Habib

Open Access Library Journal Vol.7 No.9, September 23, 2020

DOI: 10.4236/oalib.1106799 575 Downloads 1,998 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2, July 15, 2009

DOI: 10.4236/jsea.2009.22012 5,217 Downloads 9,019 Views Citations
Cellular Automata Simulation of Gap-Filler Dissolution during Transient Liquid Phase Bonding of Single Crystal Materials (Articles)

Adam Ghoneim, Olanrewaju Akanbi Ojo

Modeling and Numerical Simulation of Material Science Vol.2 No.2, April 16, 2012

DOI: 10.4236/mnsms.2012.22002 6,842 Downloads 14,048 Views Citations
Local Search Heuristics for NFA State Minimization Problem (Articles)

Andrey V. Tsyganov

International Journal of Communications, Network and System Sciences Vol.5 No.9A, September 18, 2012

DOI: 10.4236/ijcns.2012.529074 5,308 Downloads 8,203 Views Citations
This article belongs to the Special Issue on Models and Algorithms for Applications
A Collaborative Approach for LA-DHBMO (Articles)

Vahid Azadehgan, Payam Khanteimouri, Sorayya Akbari, Niusha Ghandehari

Applied Mathematics Vol.3 No.10A, November 1, 2012

DOI: 10.4236/am.2012.330203 4,974 Downloads 8,089 Views Citations
This article belongs to the Special Issue on Optimization
Harmony Search and Cellular Automata in Spatial Optimization (Articles)

Epaminondas Sidiropoulos

Applied Mathematics Vol.3 No.10A, November 1, 2012

DOI: 10.4236/am.2012.330213 3,863 Downloads 6,894 Views Citations
This article belongs to the Special Issue on Optimization
Best Response Games on Regular Graphs (Articles)

Richard Southwell, Chris Cannings

Applied Mathematics Vol.4 No.6, June 20, 2013

DOI: 10.4236/am.2013.46131 5,119 Downloads 7,884 Views Citations
Simulation of Topology Control Algorithms in Wireless Sensor Networks Using Cellular Automata (Articles)

Stavros Athanassopoulos, Christos Kaklamanis, Gerasimos Kalfountzos, Panagiota Katsikouli, Evi Papaioannou

International Journal of Communications, Network and System Sciences Vol.6 No.7, July 11, 2013

DOI: 10.4236/ijcns.2013.67036 5,296 Downloads 8,714 Views Citations
A Model of Cellular Automata for the Fuzzy Control of Aphids (Articles)

Magda da Silva Peixoto, Laécio Carvalho de Barros, Rodney Carlos Bassanezi

Applied Mathematics Vol.5 No.8, May 5, 2014

DOI: 10.4236/am.2014.58106 4,315 Downloads 5,994 Views Citations
Modeling Agricultural Change through Logistic Regression and Cellular Automata: A Case Study on Shifting Cultivation (Articles)

Santiago Lopez

Journal of Geographic Information System Vol.6 No.3, June 18, 2014

DOI: 10.4236/jgis.2014.63021 6,287 Downloads 8,498 Views Citations
Novel Adder Circuits Based On Quantum-Dot Cellular Automata (QCA) (Articles)

Firdous Ahmad, Ghulam Mohiuddin Bhat, Peer Zahoor Ahmad

Circuits and Systems Vol.5 No.6, June 13, 2014

DOI: 10.4236/cs.2014.56016 6,010 Downloads 9,159 Views Citations
Infinite Number of Disjoint Chaotic Subsystems of Cellular Automaton Rule 106 (Articles)

Gaocang Zhao, Fangyue Chen, Weifeng Jin

Applied Mathematics Vol.5 No.20, November 20, 2014

DOI: 10.4236/am.2014.520303 2,846 Downloads 4,043 Views Citations
This article belongs to the Special Issue on Nonlinear Systems

First <...234 ...>Last

	customer@scirp.org
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP 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