Compositional synthesis of supervisors in the form of state machines and state maps

From MaRDI portal

(Redirected from Compositional synthesis of supervisors in the form of state machines and state maps)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Compositional_synthesis_of_supervisors_in_the_form_of_state_machines_and_state_maps&oldid=62320434"