Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  PROSA: A Case for Readable Mechanized Schedulability Analysis

Cerqueira, F., Stutz, F., & Brandenburg, B. (2016). PROSA: A Case for Readable Mechanized Schedulability Analysis. In The 28th Euromicro Conference on Real-Time Systems (pp. 273-284). Piscataway, NJ: IEEE. doi:10.1109/ECRTS.2016.28.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-1B67-8 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-002D-1B68-6
Genre: Konferenzbeitrag
Latex : {PROSA}: {A} Case for Readable Mechanized Schedulability Analysis

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Cerqueira, Felipe1, Autor           
Stutz, Felix1, Autor           
Brandenburg, Björn1, Autor           
Affiliations:
1Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105285              

Inhalt

einblenden:

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 20162016
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: CerqueiraECRTS2016
DOI: 10.1109/ECRTS.2016.28
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 28th Euromicro Conference on Real-Time Systems
Veranstaltungsort: Toulouse, France
Start-/Enddatum: 2016-07-05 - 2016-07-08

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: The 28th Euromicro Conference on Real-Time Systems
  Kurztitel : ECRTS 2016
  Untertitel : Proceedings ; 5–8 July 2016, Toulouse, France
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Piscataway, NJ : IEEE
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 273 - 284 Identifikator: ISBN: 978-1-5090-2811-5