guest ::
Parameter synthesis for probabilistic systems
; ; ; ; ; ; ;
In
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-Ludwigs-Universität Freiburg im Breisgau 1.-2. März 2016 / Ralf Wimmer (Herausgeber), Seiten/Artikel-Nr: 72-74
2016
Online
URN: urn:nbn:de:bsz:25-freidok-106398
DOI: 10.18154/RWTH-2017-01192
DOI: 10.6094/UNIFR/10639
URL: https://publications.rwth-aachen.de/record/683021/files/683021.pdf
Einrichtungen
- Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
- Fachgruppe Informatik (120000)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
OpenAccess: 
PDF
External link: 
Fulltext by OpenAccess repository
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online
Sprache
English
Externe Identnummern
OpenAlex: W2398974388
Interne Identnummern
RWTH-2017-01192
Datensatz-ID: 683021
Beteiligte Länder
Germany
; 
