Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2000
Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M.
(2000)
Compositional Performance Modelling with the TIPPtool.
Performance Evaluation, 39 (1-4).
pp. 5-35.
ISSN 0166-5316
*** ISI Impact 1,168 ***
1999
Hermanns, H. and Mertsiotakis, V. and Siegle, M.
(1999)
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models.
In: Computer Aided Verification: 11th International Conference, CAV'99, July 6-10, 1999, Trento, Italy.
pp. 487-490.
Lecture Notes in Computer Science 1633.
Springer Verlag.
ISBN 3-540-66202-2
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||