11573/1748310 - 2025 -
Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees Esposito, M.; Leva, A.; Mancini, T.; Picchiami, L.; Tronci, E. - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (Piscataway, NJ : Institute of Electrical and Electronics Engineers, c2005-) pp. 3871-3879 - issn: 1941-0050 - wos: WOS:001470754700001 (0) - scopus: 2-s2.0-85219733304 (0)