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
- Herausgeber:
- Anne Remke, Bernhard Steffen
- Verlag:
- Springer, 08/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032009418
- Artikelnummer:
- 12334681
- Umfang:
- 308 Seiten
- Gewicht:
- 470 g
- Maße:
- 235 x 155 mm
- Stärke:
- 17 mm
- Erscheinungstermin:
- 28.8.2025
- 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). §
Formal Methods for Industrial Critical Systems
Aktueller Preis: EUR 63,51
