Workshop on SW product line engineering, The LEUVEN Center on Information and Communication Technology

  • Andreas Classen (Conférencier)

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

Description

Presented work on symbolic model checking of product lines.
Période10 mai 2011
Type d'événementColloque
LieuKatholieke Universiteit Leuven, Leuven, BelgiqueAfficher sur la carte

Documents et liens