KIT | KIT-Bibliothek | Impressum

Randomized Timed and Hybrid Models for Critical Infrastructures

Happe, L.; Koziolek, A.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator DOI: 10.4230/DagRep.4.1.36
ISSN: 2192-5283
KITopen ID: 1000046132
Erschienen in Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Ed.: E. Abraham
Verlag Schloss Dagstuhl-Leibniz-Zentrum für Informatik, Dagstuhl
Seiten 45/1-1
Serie Dagstuhl Seminar Proceedings ; 4,1
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page