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]
@article{AlbertiGPRR10-0,
title = {Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study},
author = {Francesco Alberti and Silvio Ghilardi and Elena Pagani and Silvio Ranise and Gian Paolo Rossi},
year = {2010},
url = {http://journal.ub.tu-berlin.de/eceasst/article/view/543},
researchr = {https://researchr.org/publication/AlbertiGPRR10-0},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {35},
}