Formal Methods for Modeling and Simulation of Emergent Behavior in Complex Adaptive Systems.

Daniel Foguelman

Browse the full PADS paper archive.