Publications

Formal Specification Supporting Incremental and Flexible Agent-Based Modeling

Publication Type

International Conference

Contribution Type

Paper

Authors

Jang Won Bae, Bong-Gu Kang, Byung-Soo Kim, Chang-Ho Sung, Tag-Gon Kim. MyungKil Ahn, & Sang-Il Lee.

Year

2012

Venue

Winter Simulation Conference (WSC)

Citation

Keywords

Formal Specification, Agent-Based Modeling, Incremental Modeling, Flexibility