@inproceedings{Falcon2011:FaultDiagnosis-DMO, address = {Havana, Cuba}, author = {Rafael Falcon and Marcio Almeida and Amiya Nayak}, booktitle = {Proceedings of the 14th International Convention and Fair on Informatics}, keywords = {fault diagnosis, input syndrome, dynamic mesh optimization, invalidation model, comparison model}, title = {{Reliable Fault Detection in Diagnosable Systems with Dynamic Mesh Optimization}}, year = {2011} }