Mixing logics and rewards for the component-oriented specification of performance measures (Q995461)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Mixing logics and rewards for the component-oriented specification of performance measures
scientific article

    Statements

    Mixing logics and rewards for the component-oriented specification of performance measures (English)
    3 September 2007
    continuous-time Markov chains
    stochastic process algebra
    reward structures
    component oriented modeling
    measure specification language

    Identifiers