32nd International Conference on Software Engineering (ICSE 2010)

Andreas Classen (Conférencier)

Universite de Namur

Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Description

Presenting the paper "Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines" in the research track of the main conference. Attending the main conference and tutorials by Nenad Medvidovic (USC), Richard N.

Période	3 mai 2010 → 7 mai 2010
Type d'événement	Une conférence
Lieu	Cape Town, South AfricaAfficher sur la carte

Documents et liens

http://www.sbs.co.za/ICSE2010/