Requirements of an integrated formal method for intelligent swarms.

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

Browse the full FMICS paper archive.