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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

START NOW

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

Mini-Workshop 1: Software Reliability in <strong>Space</strong><br />

Missi<strong>on</strong>s<br />

Mini-Workshop 1: Software Reliability in <strong>Space</strong> Missi<strong>on</strong>s Call for Papers<br />

Norm Schneidewind, Mike Hinchey, and Christopher J. Krupiarz<br />

Software Reliability in <strong>Space</strong> Missi<strong>on</strong>s<br />

Norm Schneidewind and Mike Hinchey<br />

Applicati<strong>on</strong> of the Architectural Analysis and Design Language (AADL)<br />

for Quantitative System Reliability and Availability Modeling<br />

Chris Vogl, Myr<strong>on</strong> Hecht, and Alexander Lam<br />

Finding Defects in Unstructured Software Artifacts<br />

Allen Nikora<br />

Architecture-Centric Reliability Analysis of the NASA cFE/CFS<br />

Dharma Ganesan, Mikael Lindvall, Maureen Bartholomew, Mike Blau, Dave McComas,<br />

and Glenn Cammarata<br />

Formal Specificati<strong>on</strong> and Analysis of Executi<strong>on</strong> Logs<br />

Klaus Havelund, Alex Groce, Margaret Smith, and Howard Barringer

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!