The Use of Analytical and Simulation Solutions with Statecharts for performance evaluation: A case study of a File Server model.
Carlos Renato Lisboa FrancêsNandamudi Lankalapalli VijaykumarRegina Helena Carlucci SantanaMarcos José SantanaSolon Venâncio de CarvalhoVakulathil AbdurahimanPublished in: LATW (2001)