Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Titolo, Laura / Alessandro Cimatti (Hrsg.). Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20¿22, 2023, Proceedings. Springer Nature Switzerland, 2023.
eng

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium, September 20¿22, 2023, Proceedings
  • Springer Nature Switzerland
  • 2023
  • Taschenbuch
  • 272 Seiten
  • ISBN 9783031436802
Herausgeber: Laura Titolo / Alessandro Cimatti

in Kürze