KIT | KIT-Bibliothek | Impressum | Datenschutz

A Behavior Specification and Simulation Methodology for Embedded Real-Time Software

Dörr, Tobias 1; Schade, Florian 1; Ahlbrecht, Alexander; Zaeske, Wanja; Masing, Leonard 1; Durak, Umut; Becker, Juergen 1
1 Institut für Technik der Informationsverarbeitung (ITIV), Karlsruher Institut für Technologie (KIT)


Postprint §
DOI: 10.5445/IR/1000153218
Veröffentlicht am 29.11.2022
Originalveröffentlichung
DOI: 10.1109/DS-RT55542.2022.9932069
Scopus
Zitationen: 3
Dimensions
Zitationen: 4
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 26.09.2022
Sprache Englisch
Identifikator ISBN: 978-1-66549-799-2
KITopen-ID: 1000153218
Erschienen in 2022 IEEE/ACM 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)
Veranstaltung 26th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2022), Alès, Frankreich, 26.09.2022 – 28.09.2022
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 151–159
Nachgewiesen in Dimensions
Scopus
Globale Ziele für nachhaltige Entwicklung Ziel 11 – Nachhaltige Städte und Gemeinden
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page