Experiences applying formal approaches in the development of swarm-based space exploration systems

Author: Rouff Christopher   Hinchey Michael   Truszkowski Walter   Rash James  

Publisher: Springer Publishing Company

ISSN: 1433-2779

Source: International Journal on Software Tools for Technology Transfer, Vol.8, Iss.6, 2006-11, pp. : 587-603

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next