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

Open Access 21.02.2024 | General

Formally verifying decompositions of stochastic specifications

verfasst von: Anton Hampus, Mattias Nyberg

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

loading …
download
DOWNLOAD
print
DRUCKEN
Metadaten
Titel
Formally verifying decompositions of stochastic specifications
verfasst von
Anton Hampus
Mattias Nyberg
Publikationsdatum
21.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-00742-5

Weitere Artikel der Ausgabe 2/2024

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

Premium Partner