$$\mathsf {StocHy}$$ : Automated Verification and Synthesis of Stochastic Processes (Englisch)
Freier Zugriff
- Neue Suche nach: Cauchi, Nathalie
- Neue Suche nach: Abate, Alessandro
- Neue Suche nach: Cauchi, Nathalie
- Neue Suche nach: Abate, Alessandro
In:
Tools and Algorithms for the Construction and Analysis of Systems
4
;
247-264
;
2019
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:$$\mathsf {StocHy}$$ : Automated Verification and Synthesis of Stochastic Processes
-
Beteiligte:Cauchi, Nathalie ( Autor:in ) / Abate, Alessandro ( Autor:in )
-
Erschienen in:Theoretical Computer Science and General Issues ; 11428, 4 ; 247-264
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:01.01.2019
-
Format / Umfang:18 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle: