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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IJSTR Research
2014
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/37123/1/FINITE.pdf http://psasir.upm.edu.my/id/eprint/37123/ https://www.ijstr.org/final-print/mar2014/Distinguishing-Automata-Machine-By-Using-Uppaal-As-A-Model-Checker-.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Putra Malaysia |
| Language: | English |