16th International Software Product Line Conference

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

Description

Presenting the papers "Behavioural Modelling and Verification of Real-Time Software Product Lines" (main conference) and "Towards an Incremental Automata-Based Approach for Software Product-Line Model Checking" (FMSPLE co-located workshop). Attending the
Période2 sept. 20127 sept. 2012
Type d'événementUne conférence
LieuSalvador, BrésilAfficher sur la carte