Formal methods for industrial applications. Specification and programming the Steam Boiler Control

From MaRDI portal

(Redirected from Formal methods for industrial applications. Specification and programming the Steam Boiler Control)

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=Formal_methods_for_industrial_applications._Specification_and_programming_the_Steam_Boiler_Control&oldid=69990435"