External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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. Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. ECEASST, 35, 2010. [doi]

Authors

Francesco Alberti

This author has not been identified. Look up 'Francesco Alberti' in Google

Silvio Ghilardi

This author has not been identified. Look up 'Silvio Ghilardi' in Google

Elena Pagani

This author has not been identified. Look up 'Elena Pagani' in Google

Silvio Ranise

This author has not been identified. Look up 'Silvio Ranise' in Google

Gian Paolo Rossi

This author has not been identified. Look up 'Gian Paolo Rossi' in Google
runs on