@inproceedings{inproceedings8e96d56e, title = {The use of analytical and simulation solutions with statecharts for performance evaluation: a case study of a file server model}, author = {Francês, Carlos Renato Lisboa and Vijaykumar, Nandamudi Lankalapalli and Santana, Regina Helena Carlucci and Santana, Marcos José and Vijaykumar, Nandamudi Lankalapalli and Abdurahiman, Vakulathil}, year = {2001}, publisher = {IEEE/TTTC/INAOE}, booktitle = {IEEE Latin American Test Workshop} }