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

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedings

    Boris Madzar, Queen's University, Kingston, Canada
  • Jalil Boudjadar
  • Juergen Dingel, Queen's University, Kingston, CanadaThomas Fuhrman, General Motors R&D, Warren, USARamesh S, General Motors R&D, Warren, USA
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
SerietitelLecture Notes in Computer Science LNCS
Vol/bind10231
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 118041043