KIT | KIT-Bibliothek | Impressum | Datenschutz

Proxel-based performability analysis of Non-Markovian phased-mission systems

Lazarova-Molnar, Sanja ORCID iD icon 1
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2010
Sprache Englisch
Identifikator ISBN: 978-1-4244-7196-6
KITopen-ID: 1000171177
Erschienen in 2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation, Kota Kinabalu, Malaysia, 26-28 May 2010
Veranstaltung Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation (2010), Kota Kinabalu, Malaysia, 26.05.2010 – 28.05.2024
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 585-590
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page