Compositional analysis of probabilistic timed graph transformation systems (Englisch)
- Neue Suche nach: Maximova, Maria
- Weitere Informationen zu Maximova, Maria:
- http://d-nb.info/gnd/1143617126
- Neue Suche nach: Schneider, Sven
- Weitere Informationen zu Schneider, Sven:
- http://d-nb.info/gnd/1069348694
- Neue Suche nach: Giese, Holger
- Weitere Informationen zu Giese, Holger:
- http://d-nb.info/gnd/173277950
- Neue Suche nach: Hasso-Plattner-Institut für Digital Engineering
- Weitere Informationen zu Hasso-Plattner-Institut für Digital Engineering:
- http://d-nb.info/gnd/1155270444
- Neue Suche nach: Universitätsverlag Potsdam
- Weitere Informationen zu Universitätsverlag Potsdam:
- http://d-nb.info/gnd/1068096934
- Neue Suche nach: Maximova, Maria
- Weitere Informationen zu Maximova, Maria:
- http://d-nb.info/gnd/1143617126
- Neue Suche nach: Schneider, Sven
- Weitere Informationen zu Schneider, Sven:
- http://d-nb.info/gnd/1069348694
- Neue Suche nach: Giese, Holger
- Weitere Informationen zu Giese, Holger:
- http://d-nb.info/gnd/173277950
- Neue Suche nach: Hasso-Plattner-Institut für Digital Engineering
- Weitere Informationen zu Hasso-Plattner-Institut für Digital Engineering:
- http://d-nb.info/gnd/1155270444
- Neue Suche nach: Universitätsverlag Potsdam
- Weitere Informationen zu Universitätsverlag Potsdam:
- http://d-nb.info/gnd/1068096934
2021
-
ISBN:
- Report / Print
-
Titel:Compositional analysis of probabilistic timed graph transformation systems
-
Beteiligte:Maximova, Maria ( Autor:in ) / Schneider, Sven ( Autor:in ) / Giese, Holger ( Autor:in ) / Hasso-Plattner-Institut für Digital Engineering ( Herausgebendes Organ ) / Universitätsverlag Potsdam ( Verlag )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Universitätsverlag Potsdam
-
Erscheinungsort:Potsdam
-
Erscheinungsdatum:2021
-
Format / Umfang:53 Seiten
-
Anmerkungen:Illustrationen
Literaturverzeichnis: Seite 31-33 -
ISBN:
-
DOI:
-
Medientyp:Report
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.52 Software engineering -
Datenquelle: