Sign in
Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems.
Ricardo J. Rodríguez
Catia Trubiani
José Merseguer
Published in:
ISARCS (2012)
Keyphrases
</>
fault tolerant
distributed systems
fault tolerance
security mechanisms
safety critical
security systems
mobile agent system
load balancing
resource constrained
high assurance
operating system
computer systems
access control
formal methods
security issues
interconnection networks
cryptographic algorithms
databases