Staff-Seminar: Model Checking Lots of Systems

  • Andreas Classen (Conférencier)

Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

Description

Presentation of work on efficient verification of software product lines.
Période26 avr. 2010
Type d'événementSéminaire
LieuFUNDP, BelgiqueAfficher sur la carte

Documents et liens