Gast ::
Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems
; ;
In
HSCC'11 : proceedings of the 14th ACM International Conference on Hybrid Systems:Computation and Control; April 12 - 14, 2011, Chicago, Illinois, USA, Seiten/Artikel-Nr: 83-92
2011
Online
DOI: 10.1145/1967701.1967715
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-79956056278
OpenAlex: W2053807562
Interne Identnummern
RWTH-CONV-195525
Datensatz-ID: 124907
Beteiligte Länder
Germany, Netherlands
|
The record appears in these collections: |