TIPPtool: Compositional Specification and Analysis of Performance Models

H. Hermanns, V. Mertsiotakis, M. Siegle

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of Computer Aided Verification (CAV'99)
    Place of PublicationTrento, Italy
    Number of pages4
    Publication statusPublished - 14 Feb 1999


    • METIS-119601

    Cite this