Skip to main content
Erschienen in: International Journal on Software Tools for Technology Transfer 2/2024

Open Access 20.02.2024 | General

Generating interactive documents for domain-specific validation of formal models

verfasst von: Fabian Vu, Christopher Happe, Michael Leuschel

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 2/2024

loading …
download
DOWNLOAD
print
DRUCKEN
Metadaten
Titel
Generating interactive documents for domain-specific validation of formal models
verfasst von
Fabian Vu
Christopher Happe
Michael Leuschel
Publikationsdatum
20.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-00739-0

Weitere Artikel der Ausgabe 2/2024

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

Premium Partner