Quantitative Model Checking 2010

March 2-5, 2010      IT University Copenhagen, Denmark organised and funded by ARTIST 

Lecturers

There will be lectures and other activities by twelve international researchers, each a recognized authority within their field:

Finite-state model checking


Real-time model checking


Probabilistic model checking


Hybrid model checking

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet