<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2011-01-17 14:34:07United States Raytheon Space and Naval Warfare Systems Command Saab Center for Advanced Defense Studies Technology Business Northrop Grumman Open Travel Alliance BAE Systems |
Add to Reading List |
ComDef West 2011 Convention Center, San Diego, CA[removed]January 2011 ComDef 2011 | Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae Sicun GaoDocID: 1xU4U - View Document |
| SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba ÖlveczkyDocID: 1xTra - View Document |
| News Release Canada’s Combat Ship Team: BAE Systems, CAE, Lockheed Martin Canada, L3 Technologies, MDA and Ultra Electronics Join Forces to Deliver Canadian Surface Combatant ProposalDocID: 1uPkD - View Document |
| SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba ÖlveczkyDocID: 1uETL - View Document |
| 1 Robinhood: Client & Server And now for something completely slightly different…. • Megan Larko, BAE SystemsDocID: 1udEf - View Document |