Quantitative Model Checking 2010

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


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