Cyber & formal methods publications April 1, 2009 Conference PaperA Safety-Case Approach for Certifying Adaptive Systems ↓ View online Share this