A model of cooperative air-defense system of system for surface warship formation based on immune multi-agent | IEEE Conference Publication | IEEE Xplore