[aadl]: challenges paper for SAE AerotTech

[Peter Feiler]

Skipped content of type multipart/alternative-------------- next part --------------
A non-text attachment was scrubbed...
Name: SafetyCriticalSystemsChallenges Feiler09.pdf
Type: application/pdf
Size: 424233 bytes
Desc: SafetyCriticalSystemsChallenges Feiler09.pdf
Url : http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20090927/66108712/SafetyCriticalSystemsChallengesFeiler09-0001.pdf