Automated performance and dependability evaluation using model checking

Katoen, J. P. (Speaker)

Activity: Talk or presentationOral presentation

Description

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

Keywords

  • METIS-208722