Stochastic process algebras – between LOTOS and Markov chains von Hermanns, H., Herzog, U., Mertsiotakis, V.

Volltext

Compositional performance modelling with the TIPPtool von Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.

Volltext

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models von Hermanns, H., Mertsiotakis, V., Siegle, M.

Volltext

Compositional Performance Modelling with the TIPPtool von Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.

Volltext

A simple time scale decomposition technique for stochastic process algebras von HILLSTON, J, MERTSIOTAKIS, V

Volltext

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets von Hermanns, H., Herzog, U., Mertsiotakis, V., Rettelbach, M.

Volltext

Stochastic process algebras : between LOTOS and Markov chains : Trends in formal description techniques von HERMANNS, H, HERZOG, U, MERTSIOTAKIS, V

Volltext

Stochastic process algebras as a tool for performance and dependability modelling von Hermanns, H., Herzog, U., Mertsiotakis, V.

Volltext bestellen

Stochastic modeling of scaled parallel programs von Malony, A.D., Mertsiotakis, V., Quick, A.

Volltext bestellen

Throughput approximation of decision free processes using decomposition von Mersiotakis, V., Silva, M.

Volltext