Formal Methods for Autonomic and Swarm-based Systems.

Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey

Browse the full ISoLA paper archive.