Guest editorial: Special issue on formal methods in control

DOI10.1007/S10626-017-0246-9zbMATH Open1384.00081OpenAlexW2606707698MaRDI QIDQ1693818

No author found.

Publication date: 31 January 2018

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-017-0246-9

zbMATH Keywords

verificationsynthesiscontrolformal methods

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Synthesis problems (93B50) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)

Related Items (1)

Special issue: Formal methods for fuzzy modeling and control

This page was built for publication: Guest editorial: Special issue on formal methods in control