To search, Click below search items.
All Published Papers Search Service
Title
Verification of FSM using Attributes Definition of NPCs Models
Author
Chong-Han Kim, Seung-Moon Jeong, Gi-Taek Hur, Byung-Gi Kim
Vol. 6 No. 7 pp. 168-174
Keywords
NPC, FSM, Model Checking, Virtual Ocean
An Automation Instructor System using Finite State Machine within Web services
Khalid Aldriwish
Vol. 21 No. 7 pp. 233-240
Web services, automation; control systems, UML, MAS, FSM, AGG.