From Formal Specifications to Executable Simulations: A Computation-Driven Metasystem for Agent-Based Modeling.

Francisco Mesas, Manel Taboada, Francisco Epelde, Eduardo Cabrera, Alvaro Wong, Dolores Rexachs

Browse the full ICCS paper archive.