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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

    Boris Madzar, Queen's University, Kingston, Canada
  • Jalil Boudjadar
  • Juergen Dingel, Queen's University, Kingston, CanadaThomas Fuhrman, General Motors R&D, Warren, United StatesRamesh S, General Motors R&D, Warren, United States
Original languageEnglish
Title of host publicationFormal Aspects of Component Software : FACS 2016
EditorsO. Kouchnarenko, R. Khosravi
Number of pages19
Volume10231
PublisherSpringer
Publication year13 Apr 2017
Pages153-171
ISBN (print)978-3-319-57665-7
ISBN (Electronic)978-3-319-57666-4
DOIs
StatePublished - 13 Apr 2017
Event13th International Conference on Formal Aspects of Component Software - Besancon, France
Duration: 19 Oct 201621 Oct 2016
http://events.femto-st.fr/facs2016/

Conference

Conference13th International Conference on Formal Aspects of Component Software
LandFrance
ByBesancon
Periode19/10/201621/10/2016
Internetadresse
SeriesLecture Notes in Computer Science LNCS
Volume10231
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 118041043