Computational effort of BDD-based supervisor synthesis of extended finite automata

Scriptie/Masterproef: Master

Datum prijs15 apr. 2019
Originele taalEngels
BegeleiderMichel A. Reniers (Afstudeerdocent 1) & Ramon R.H. Schiffelers (Externe coach)

Citeer dit

Documenten

'