Third IEEE International Conference on Space Mission Challenges ...
29.08.2013 • Views
Share Embed Flag

Third IEEE International Conference on Space Mission Challenges ...

Third IEEE International Conference on Space Mission Challenges ...

Third IEEE International Conference on Space Mission Challenges ...

SHOW MORE
SHOW LESS
ePAPER READ
DOWNLOAD ePAPER
isi.edu

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

Papers by Sessi<strong>on</strong><br />

Sessi<strong>on</strong> 4 - Reliable Software Engineering I<br />

A Workflow Model for Earth Observati<strong>on</strong> Sensor Webs<br />

Robert Morris, Jennifer Dungan, Lina Khatib, and Petr Votava<br />

Viewpoint-Based Test Analysis for Dependable Onboard Flight Software<br />

Takao Mori<br />

Model Based Analysis and Test Generati<strong>on</strong>for Flight Software<br />

Corina S. Pãsãreanu, Johann Schumann, Peter Mehlitz, Mike Lowry, CenterGabor Karsai,<br />

Harm<strong>on</strong> Nine, and Sandeep Neema

logo

products

Resources

Company

Terms of service
Privacy policy
Cookie policy
Cookie settings
Imprint
Change language
Made with love in Switzerland
© 2024 Yumpu.com all rights reserved

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!