Formal validation of fault management design solutions.

Corrina Gibson Robert Karban Luigi Andolfato John C. Day

Published in: ACM SIGSOFT Softw. Eng. Notes (2014)

Keyphrases

fault management
design solutions
network management
fault tolerance
knowledge based systems
conceptual design
building blocks
design space
computer systems
design decisions
fault tolerant
design processes
design process
user interface
metadata
database
wireless sensor networks
enterprise wide
machine learning