Modelling and Model-Checking Variability-Intensive Systems (P. Heymans)

On 7 Oct. 2002, 14:00, Patrick Heymans (Professor, University of Namur, Belgium) will present his work on “Modelling and Model-Checking Variability-Intensive Systems’ (INRIA, Salle du conseil)