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 | SIGPLAN Conference Proceedings templateAdd to Reading ListSource URL: www.dsmforum.orgDownload Document from Source WebsiteFile Size: 723,67 KBShare Document on Facebook |