Automated performance and dependability evaluation using model checking

Katoen, J. P. (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Rome, Italy
    Period24 Sep 2002
    Held atUniversity of Rome La Sapienza, Italy

    Keywords

    • METIS-208722