Login / Signup
Verification of the Six Channel Quad Redundancy Management Software with the Fault Tolerant Measurement Techniques of Acoustic Spectrum of Satellite.
H. S. Aravinda
H. D. Maheshappa
Ranjan Moodithaya
Published in:
PDPTA (2009)
Keyphrases
</>
fault tolerant
high assurance
fault tolerance
safety critical
distributed systems
load balancing
state machine
configuration management
management system
formal methods
software development
operating system
software systems
multistage
computer systems
access control
software testing