[aadl]: more news & correction

[Peter Feiler]

Hi All,


An Errata: In other news:

The link to the reliability validation & improvement framework work had a typo. Here is the correct one.

http://www.sei.cmu.edu/newsitems/amrdec_roadmap.cfm



Hot off the press:

In IEEE Security & Privacy

Model-Based Verification of Security and Non-Functional Behavior using AADL
Hansson, J; Lewis, B; Hugues, J; Wrage, L; Feiler, P; Morley, J
Page(s): 1-1
http://ieeexplore.ieee.org/xpl/tocpreprint.jsp?isnumber=5210089&punumber=8013





Peter

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20100203/f3c5b735/attachment.htm