Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems
Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias; Gerking, Christopher
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2014 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4799-5795-8 KITopen-ID: 1000142776 |
| Erschienen in | 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy, 27-29 Aug. 2014 |
| Veranstaltung | 40th EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2014), Verona, Italien, 27.08.2014 – 29.08.2014 |
| Verlag | IEEE Computer Society |
| Seiten | 191–198 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Dimensions Scopus |