Gast ::
A compositional modelling and analysis framework for stochastic hybrid systems
; ; ;
In
Formal methods in system design 43(2), Seiten/Artikel-Nr.:191-232
2013
Online
DOI: 10.1007/s10703-012-0167-z
Einrichtungen
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
Dokumenttyp
Journal Article
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
WOS Core Collection: WOS:000324114600004
SCOPUS: SCOPUS:2-s2.0-84883779489
OpenAlex: W2087486424
Interne Identnummern
RWTH-CONV-082950
Datensatz-ID: 234080
Beteiligte Länder
Germany
|
The record appears in these collections: |
Datensatz erzeugt am 2014-07-16, letzte Änderung am 2026-09-24