Skip to main content
Metadaten
Titel
Formal Methods for Industrial Critical Systems
verfasst von
Jan Friso Groote
Marieke Huisman
Publikationsdatum
15.02.2024
Verlag
Springer Berlin Heidelberg
Erschienen in
International Journal on Software Tools for Technology Transfer / Ausgabe 2/2024
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-024-00744-3

Weitere Artikel der Ausgabe 2/2024

International Journal on Software Tools for Technology Transfer 2/2024 Zur Ausgabe

Premium Partner