Automated performance and dependability evaluation using model checking

    Activity: Talk or presentation › Oral presentation

    Description

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

    Keywords

    • METIS-208722