Quantitative Models: Expressiveness and Analysis: Dagstuhl Seminar 10031, Jan 18-22, 2010

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelDagstuhl Seminar Proceedings
Seiten1-2
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa

Publikationsreihe

ReiheDagstuhl Seminar Proceedings
Band10031
ISSN1862-4405

Seminar

TitelDagstuhl-Seminar 10031
UntertitelQuantitative Models: Expressiveness and Analysis
Veranstaltungsnummer10031
Dauer17 - 22 Januar 2010
Webseite
BekanntheitsgradInternationale Veranstaltung
OrtSchloss Dagstuhl
StadtWadern
LandDeutschland

Externe IDs

ORCID /0000-0002-5321-9343/work/228232894

Schlagworte

ASJC Scopus Sachgebiete

  • Software - probabilistic systems, quantitative analysis, quantitative models, timed and hybrid systems, weighted automata
  • Hardware und Architektur - probabilistic systems, quantitative analysis, quantitative models, timed and hybrid systems, weighted automata
  • Steuerungs- und Systemtechnik - probabilistic systems, quantitative analysis, quantitative models, timed and hybrid systems, weighted automata

Schlagwörter

  • probabilistic systems, quantitative analysis, quantitative models, timed and hybrid systems, weighted automata