High‐Assurance Distributed, Adaptive Software for Dynamic Systems (0)

by K Rohloff, J Loyall, P Pal, R Schantz
Venue:10th IEEE High Assurance Systems Engineering Symposium, 14‐16 Nov. 2007