Distinguishing automata machine by using UPPAAL as a model checker

QR Code

Distinguishing automata machine by using UPPAAL as a model checker

Upon to the evolvement of technologies, electronic commerce and other online businesses are exposed to vulnerability hence invoking damages and untraceable fraud to the end users. Software engineers in the moment by moment, tracks the design and the analysis so that they can ensure the safety of th...

Full description

Bibliographic Details
Main Authors:	Nagarathinam, Yogeswaran, Mohd Sani, Nor Fazlida
Format:	Article
Language:	English
Published:	IJSTR Research 2014
Online Access:	http://psasir.upm.edu.my/id/eprint/37123/ http://psasir.upm.edu.my/id/eprint/37123/1/FINITE.pdf

Similar Items

UPPAAL model for validation of the software development process
by: Atirah Shahira, Mahadi
Published: (2019)

Common modeling language for model checkers
by: Abdul Samad, Pathiah, et al.
Published: (2012)

ECO Smart Result Checker
by: Foo, Fong Yeng, et al.
Published: (2020)

Homogeneous group performance and stability in checkers
by: Thanatchai Sirivichayakul,, et al.
Published: (2019)

The effectiveness of an online abstract checker application
by: Saberi, Dariush, et al.
Published: (2017)

Analysis of the model checkers' input languages for modeling traffic light systems
by: Abdul Samad, Pathiah, et al.
Published: (2011)

An enhanced UML consistency checker using logical approach
by: Ibrahim, Noraini
Published: (2013)

The implementation of finite state automata in government SMS services (MySMS)
by: Nik Ab Aziz, Nik Sakinah, et al.
Published: (2015)

A mobile phone malicious software detection model with behavior checker
by: Yap, , TS, et al.
Published: (2005)

Personal computer checker/ Chong Fah Sam
by: Chong , Fah Sam
Published: (2005)

Improving students' writing performance through the use of grammar checker
by: Jayavalan, Kalpana, et al.
Published: (2015)

Automata for subgroups
by: Fong, Wan Heng, et al.
Published: (2014)

DealWithIt - Real Time Price Checker with Object Recognition
by: Eng, Yvonne Xin Yee
Published: (2024)

Distinguishing organizational communication
by: Mahmoud M. Galander,
Published: (1999)

Automata diagram for groups
by: Gan, Yee Siang, et al.
Published: (2013)

Prey preference of checkered beetle, Callimerus arcufer (COLEOPTERA: CLERIDAE)
by: Azlina Zakaria,, et al.
Published: (2023)

Al-Jazari on automata
by: Ushama, Imama Karim Manba, et al.
Published: (2011)

Finite Automata And Applications
by: Elfakhakhre, Nawara R.F.
Published: (2010)

Automata diagram for finite groups
by: Fong, Wan Heng, et al.
Published: (2013)

Automata representation for Abelian groups
by: Fong, Wan Heng, et al.
Published: (2013)

Permutation groups in automata diagrams
by: Gan, Yee Siang, et al.
Published: (2013)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

Weighted Watson-Crick automata
by: Mohd Tamrin, Mohd Izzuddin, et al.
Published: (2014)

Weighted Watson-Crick Automata
by: Mohd Tamrin, Mohd Izzuddin, et al.
Published: (2013)

Which traits do observers use to distinguish Batesian mimics from their models?
by: Taylor, Christopher H., et al.
Published: (2016)

Modelling And Simulation Of Movements And Behaviours In Large Crowd Using Cellular Automata.
by: Siamak Sarmady, Siamak Sarmady
Published: (2008)

Practical Models To Distinguish Between Seismic Events And Blast Signals
by: Shirani Faradonbeh, Roohollah, et al.
Published: (2023)

Periodic Cellular Automata of Period-3
by: Ganikhodjaev, Nasir, et al.
Published: (2015)

Distinguished Approach of Qur’aic Invocation
by: Khan, Musaddiq Majid
Published: (2016)

Fuzzy !-automata and its relationships
by: Cokilavany, R., et al.
Published: (2015)

Fuzzy !-automata and its relationships
by: Cokilavany, R., et al.
Published: (2015)

Neutrosophic general finite automata
by: J., Kavikumar, et al.
Published: (2019)

General fuzzy finite switchboard automata
by: Kavikumar, J., et al.
Published: (2019)

IoT device management using semantics for distinguishing device compatibility
by: Suman, Sukhavasi, et al.
Published: (2019)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)

CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2017
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)

An overview of cryptosystems based on finite automata
by: Khaleel, Ghassan, et al.
Published: (2016)

Enhancement of i-Learn : course information checker system / Muhammad Anuar Ridzwan Hashim
by: Ridzwan Hashim, Muhammad Anuar
Published: (2006)

The influence of spelling-checkers on students' ability to generate repairs of spelling errors / Hazelynn Rimbar
by: Rimbar, Hazelynn
Published: (2013)

Effectiveness of online grammar checker to improve secondary students' English narrative essay writing
by: Jayavalan, Kalpana, et al.
Published: (2018)