C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling fault tolerant architectures with design diversity for secure systems.
Manuel Rodríguez
Kevin A. Kwiat
Charles A. Kamhoua
Published in:
MILCOM (2015)
Keyphrases
</>
mobile agent system
fault tolerant
distributed systems
fault tolerance
safety critical
high assurance
interconnection networks
design methodologies
load balancing
modeling language
state machine
heterogeneous platforms
high availability
formal methods
management system
multistage
complex systems
sensor networks