Modelling and implementation of automata-based hierarchical discrete-event controllers using the B-method.

Noe Campos, Arturo Sanchez

Browse the full ETFA paper archive.