Login / Signup
Formal Specification and Analysis of AFDX Redundancy Management Algorithms.
Jan Täubrich
Reinhard von Hanxleden
Published in:
SAFECOMP (2007)
Keyphrases
</>
formal specification
learning algorithm
decision making
information systems
software development