Barner, Jörg :
Performance and reliability modelling with MOSEL-2.
(Tutorial Session, ASMTA-Track of the 17th European Simulation Multiconference: Foundations for Successful Modelling&Simulation (ESM'03). Nottingham, England  9.6).
2003, .
Stichwörter:  Performance; Reliability; lightweight formal method; modelling language