MoDeST - A Modelling and Description Language for Stochastic Timed Systems
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS
Computer Standards & Interfaces
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Performability modeling of exceptions-aware systems in multiformalism tools
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Hi-index | 0.00 |