First Page | Document Content | |
---|---|---|
![]() Date: 2008-10-07 03:17:07Aerospace engineering Spacecraft design Communicating sequential processes Modeling language Generic Modeling Environment Formal methods System Software development methodology NEAR Shoemaker Spaceflight Spacecraft Systems engineering | Add to Reading List |