Stocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specification

Carlos Renato Lisboa Francês. Stocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specification. PhD thesis, University of São Paulo, Brazil, 2001. [doi]

Abstract

Abstract is missing.