From Formal Specifications to Executable Simulations: A Computation-Driven Metasystem for Agent-Based Modeling Francisco Mesas Manel Taboada F. Epelde Eduardo Cabrera Alvaro Wong Dolores Rexachs 2026 · International Conference on Conceptual Structures · pp. 34-42 · 0 citations · 14 references Computer Science DOI Semantic Scholar Save View source Cite Copy APA Copied ✓ Copy MLA Copied ✓ Copy BibTeX Copied ✓ Share