Model abstraction of nondeterministic finite state automata in supervisor synthesis

R. Su, J.H. Schuppen, van, J.E. Rooda

    Onderzoeksoutput: Boek/rapportRapportAcademic

    113 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Model abstraction of nondeterministic finite state automata in supervisor synthesis'. Samen vormen ze een unieke vingerafdruk.

    Computer Science