C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal analysis of feature degradation in fault-tolerant automotive systems.
Klaus Becker
Sebastian Voss
Bernhard Schätz
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
fault tolerant
formal analysis
safety critical
distributed systems
fault tolerance
formal methods
load balancing
intelligent systems
state machine
high availability
expert systems
data model
operating system
ban logic