Login / Signup

Formal Specification and Analysis of AFDX Redundancy Management Algorithms.

Jan TäubrichReinhard von Hanxleden
Published in: SAFECOMP (2007)
Keyphrases
  • formal specification
  • learning algorithm
  • decision making
  • information systems
  • software development