Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems

Publikation: Forskning - peer reviewKonferencebidrag i proceedings

DOI

  • Boris Madzar
    Boris MadzarQueen's University, KingstonCanada
  • Jalil Boudjadar
  • Juergen Dingel
    Juergen DingelQueen's University, KingstonCanada
  • Thomas Fuhrman
    Thomas FuhrmanGeneral Motors R&D, WarrenUSA
  • Ramesh S
    Ramesh SGeneral Motors R&D, WarrenUSA
OriginalsprogEngelsk
TitelFormal Aspects of Component Software : FACS 2016
RedaktørerO. Kouchnarenko, R. Khosravi
Antal sider19
Vol/bind10231
ForlagSpringer
Udgivelsesår13 apr. 2017
Sider153-171
ISBN (trykt)978-3-319-57665-7
ISBN (Elektronisk)978-3-319-57666-4
DOI
StatusUdgivet - 13 apr. 2017
Begivenhed13th International Conference on Formal Aspects of Component Software - Besancon, Frankrig
Varighed: 19 okt. 201621 okt. 2016
http://events.femto-st.fr/facs2016/

Konference

Konference13th International Conference on Formal Aspects of Component Software
LandFrankrig
ByBesancon
Periode19/10/201621/10/2016
Internetadresse
SerieLecture Notes in Computer Science LNCS
Vol/bind10231
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 118041043