Proceedings of the 2012 International Conference on Computer Application and System Modeling (ICCASM 2012)

<Previous Article In Volume
Next Article In Volume>

Verify Behaviors of CGF with ASM

Authors
Wei Zhang, Liang Zeng, Sikun Li, Yueshan Xiong
Corresponding Author
Wei Zhang
Available Online August 2012.
DOI
10.2991/iccasm.2012.283How to use a DOI?
Keywords
Abstract state machine, AsmL, Computer generated forces, Behavior
Abstract

Abstract state machine, AsmL, Computer generated forces, Behavior

Copyright
© 2012, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

<Previous Article In Volume
Next Article In Volume>
Volume Title
Proceedings of the 2012 International Conference on Computer Application and System Modeling (ICCASM 2012)
Series
Advances in Intelligent Systems Research
Publication Date
August 2012
ISBN
10.2991/iccasm.2012.283
ISSN
1951-6851
DOI
10.2991/iccasm.2012.283How to use a DOI?
Copyright
© 2012, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

risenwbib
TY  - CONF
AU  - Wei Zhang
AU  - Liang Zeng
AU  - Sikun Li
AU  - Yueshan Xiong
PY  - 2012/08
DA  - 2012/08
TI  - Verify Behaviors of CGF with ASM
BT  - Proceedings of the 2012 International Conference on Computer Application and System Modeling (ICCASM 2012)
PB  - Atlantis Press
SP  - 1113
EP  - 1116
SN  - 1951-6851
UR  - https://doi.org/10.2991/iccasm.2012.283
DO  - 10.2991/iccasm.2012.283
ID  - Zhang2012/08
ER  -