Formal specification supporting incremental and flexible agent-based modeling

Jang Won Bae, Geunho Lee, Il-Chul Moon. Formal specification supporting incremental and flexible agent-based modeling. In Oliver Rose, Adelinde M. Uhrmacher, editors, Winter Simulation Conference, WSC '12, Berlin, Germany, December 9-12, 2012. pages 414, WSC, 2012. [doi]

Authors

Jang Won Bae

This author has not been identified. Look up 'Jang Won Bae' in Google

Geunho Lee

This author has not been identified. Look up 'Geunho Lee' in Google

Il-Chul Moon

This author has not been identified. Look up 'Il-Chul Moon' in Google