Partial-order reduction for synthesis and performance analysis of supervisory controllers

Reniers, M. A. (Uitgenodigde spreker)

Activiteit: Types gesprekken of presentatiesKeynote sprekerWetenschappelijk

Periode31 aug 2019
Gehouden opInternational workshop on Timing Performance engineering for Safety critical systems
EvenementstypeWorkshop
Conferentienummer4
LocatieAmsterdam, Nederland
Mate van erkenningInternationaal