On Proposing Statecharts to Specify Performance Models

International Transactions in Operational Research

Volumn 9, Issue 3, 2002, Pages 321-336

  Vijaykumar, Nandamudi Lankalapalli ^a   Carvalho, Solon Venancio de ^a   Abdurahiman, Vakulathil ^b  

^a INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

^b INSTITUTO TECNOLÓGICO DE AERONÁUTICA   (Brazil)

Author keywords

Markov chain; Performance models; Reactive systems; Specification; Statecharts

Indexed keywords

EID: 85006633433     PISSN: 09696016     EISSN: 14753995     Source Type: Journal    
DOI: 10.1111/1475-3995.00358     Document Type: Article

References (0)