Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness

Maida, M., Bozhko, S., & Brandenburg, B. (2021). Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. In IEEE 42nd Real-Time Systems Symposium (pp. 512-515). Piscataway, NJ: IEEE. doi:10.1109/RTSS52674.2021.00053.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-000A-9BF6-2 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000A-9BF8-0

Genre: Konferenzbeitrag

Latex : Work-in-Progress: {A}utomatically Generated Response-Time Proofs as Evidence of Timeliness

Dateien

einblenden: Dateien

Externe Referenzen

Urheber

ausblenden:

Urheber:
Maida, Marco¹, Autor
Bozhko, Sergey¹, Autor
Brandenburg, Björn¹, Autor

Affiliations:
1Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105285

Inhalt

Details

ausblenden:

Sprache(n): eng - English

Datum: Online veröffentlicht: 2021Erschienen: 2021

Publikationsstatus: Erschienen

Seiten: -

Ort, Verlag, Ausgabe: -

Inhaltsverzeichnis: -

Art der Begutachtung: -

Identifikatoren: BibTex Citekey: Maida_RTSS2021
DOI: 10.1109/RTSS52674.2021.00053

Art des Abschluß: -

Veranstaltung

ausblenden:

Titel: IEEE 42nd Real-Time Systems Symposium

Veranstaltungsort: Dortmund, Germany (Virtual Conference)

Start-/Enddatum: 2021-12-07 - 2021-12-10

Entscheidung

Projektinformation

Quelle 1

ausblenden:

Titel: IEEE 42nd Real-Time Systems Symposium

Kurztitel : RTSS 2021

Genre der Quelle: Konferenzband

Urheber:

Affiliations:

Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE

Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 512 - 515 Identifikator: ISBN: 978-1-6654-2802-6