A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP

Authors:
Holger Hermanns;Vassilis Mertsiotakis;Michael Rettelbach
Affiliations:
-;-;-
Venue:
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Year:
1996

Citing 0
Cited 3

Let's evaluate performance algebraically

ACM Computing Surveys (CSUR)
Formal methods for performance evaluation

Lectures on formal methods and performance analysis
Implementing Symbolic Models for Value Passing in TwoTowers

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract