An instance of the application download pattern: the SPAIDS software loader/verifier domain analysis and implementation

• Authors:

• John D. Riley;Sangiv Dungari;William Pritchett

• Affiliations:

• DCS Corporation, 1330 Braddock Place, Alexandria, Virginia;U.S. Army Tank-Automotive RD&E Center (TARDEC), Warren, MI;DCS Corporation, 1330 Braddock Place, Alexandria, Virginia

• Venue:
• Proceedings of the conference on TRI-Ada '97
• Year:
• 1997