Activity: Participating in or organising an event types › Participation in conference
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