Sign in
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study.
Francesco Alberti
Silvio Ghilardi
Elena Pagani
Silvio Ranise
Gian Paolo Rossi
Published in:
DISC (2010)
Keyphrases
</>
fault tolerant
distributed systems
safety critical
high assurance
fault tolerance
support systems
design tools
case study
knowledge based systems
computer systems
user interface
embedded systems
learning systems
design guidelines
interactive learning environments
technical systems
data structure