Formal Methods for Industrial Critical Systems, Kartoniert / Broschiert

Formal Methods for Industrial Critical Systems

Buch

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Lieferzeit beträgt mind. 4 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 63,51

Versandkosten

Herausgeber:: Anne Remke, Bernhard Steffen
Verlag:: Springer-Verlag GmbH, 08/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032009418
Artikelnummer:: 12334681
Umfang:: 297 Seiten
Sonstiges:: X, 297 p. 108 illus., 78 illus. in color.
Erscheinungstermin:: 28.8.2025
Serie:: Lecture Notes in Computer Science - Band 16040
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems

Biografie (Bernhard Steffen)

Bernhard Steffen studierte Mathematik an der Christian-Albrechts Universität zu Kiel, wo er anschließend auch in der Informatik promovierte. Nach Forschungsaufenthalten am Laboratory for Foundations in Computer Science in Edinburgh und an der Universität Aarhus, wurde er 1990 an die RWTH Aachen berufen, von wo er 1993 an die Universität Passau auf den Lehrstuhl für Programmiersysteme wechselte. Seit 1997 leitet er den Lehrstuhl für Programmiersysteme und Compilerbau an der TU-Dortmund. Bernhard Steffen ist Gründer der internationalen Konferenz über Tools and Algorithm for the Conbstruction and Analysis of Systems (TACAS) und des internationalen Journals über Software Tools for Technology Transfer (STTT). §