Automated Transformation of Palladio Component Models to Queueing Petri Nets
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 |
| Seiten | 339-348 |