A Domain Specific Design Tool for Spacecraft System Behavior Sravanthi Venigalla, Brandon Eames Utah State University, USA Allan McInnes

First Page		Document Content
Date: 2008-11-14 01:53:46 Spacecraft design Spaceflight Spacecraft Promela Space environment Systems engineering Space technology Aerospace engineering		A Domain Specific Design Tool for Spacecraft System Behavior Sravanthi Venigalla, Brandon Eames Utah State University, USA Allan McInnes Add to Reading List Source URL: www.dsmforum.org Download Document from Source Website File Size: 1,30 MB Share Document on Facebook