KIT | KIT-Bibliothek | Impressum

Automated Transformation of Palladio Component Models to Queueing Petri Nets

Meier, P.; Kounev, S.; Koziolek, H.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2011
Sprache Englisch
Identifikator ISBN: 978-0-7695-4430-4
KITopen ID: 1000030341
Erschienen in Proceeding MASCOTS '11 Proceedings of the 2011 IEEE 19th Annual International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
Verlag IEEE Computer Society, Washington (DC)
Seiten 339-348
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page