To search, Click below search items.

 

All Published Papers Search Service

Results for Virtual Ocean; Total 1

Title

Verification of FSM using Attributes Definition of NPCs Models

Author

Chong-Han Kim, Seung-Moon Jeong, Gi-Taek Hur, Byung-Gi Kim
Citation

Vol. 6  No. 7  pp. 168-174

Keywords

NPC, FSM, Model Checking, Virtual Ocean

[1]