Discrete event process controller synthesis using VDM

Kevin Lano, Stephen J. Goldsack

Browse the full ICECCS paper archive.