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

Publikation: Forskning - peer reviewKonferencebidrag i proceedings

Standard

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. / Madzar, Boris; Boudjadar, Jalil; Dingel, Juergen ; Fuhrman, Thomas; S, Ramesh.

Formal Aspects of Component Software: FACS 2016. red. / O. Kouchnarenko; R. Khosravi. Bind 10231 Springer, 2017. s. 153-171.

Publikation: Forskning - peer reviewKonferencebidrag i proceedings

Harvard

Madzar, B, Boudjadar, J, Dingel, J, Fuhrman, T & S, R 2017, Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. i O Kouchnarenko & R Khosravi (red), Formal Aspects of Component Software: FACS 2016. bind. 10231, Springer, Lecture Notes in Computer Science LNCS, bind. 10231, s. 153-171, Besancon, Frankrig, 19/10/2016. DOI: 10.1007/978-3-319-57666-4_10

APA

Madzar, B., Boudjadar, J., Dingel, J., Fuhrman, T., & S, R. (2017). Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. I O. Kouchnarenko, & R. Khosravi (red.), Formal Aspects of Component Software: FACS 2016 (Bind 10231, s. 153-171). Springer. Lecture Notes in Computer Science LNCS, Bind. 10231, DOI: 10.1007/978-3-319-57666-4_10

CBE

Madzar B, Boudjadar J, Dingel J, Fuhrman T, S R. 2017. Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. Kouchnarenko O, Khosravi R, red. I Formal Aspects of Component Software: FACS 2016. Springer. s. 153-171. (Lecture Notes in Computer Science LNCS, Bind 10231). Tilgængelig fra: 10.1007/978-3-319-57666-4_10

MLA

Madzar, Boris o.a.. "Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems". og Kouchnarenko, O. Khosravi, R. (redaktører). Formal Aspects of Component Software: FACS 2016. Springer. (Lecture Notes in Computer Science LNCS, Bind 10231). 2017. 153-171. Tilgængelig: 10.1007/978-3-319-57666-4_10

Vancouver

Madzar B, Boudjadar J, Dingel J, Fuhrman T, S R. Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. I Kouchnarenko O, Khosravi R, red., Formal Aspects of Component Software: FACS 2016. Bind 10231. Springer. 2017. s. 153-171. (Lecture Notes in Computer Science LNCS, Bind 10231). Tilgængelig fra, DOI: 10.1007/978-3-319-57666-4_10

Author

Madzar, Boris ; Boudjadar, Jalil ; Dingel, Juergen ; Fuhrman, Thomas ; S, Ramesh. / Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems. Formal Aspects of Component Software: FACS 2016. red. / O. Kouchnarenko ; R. Khosravi. Bind 10231 Springer, 2017. s. 153-171 (Lecture Notes in Computer Science LNCS, Bind 10231).

Bibtex

@inbook{6ecf9ac9b8d34132b4a66af057745230,
title = "Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems",
author = "Boris Madzar and Jalil Boudjadar and Juergen Dingel and Thomas Fuhrman and Ramesh S",
year = "2017",
month = "4",
doi = "10.1007/978-3-319-57666-4_10",
isbn = "978-3-319-57665-7",
volume = "10231",
pages = "153--171",
editor = "O. Kouchnarenko and R. Khosravi",
booktitle = "Formal Aspects of Component Software",
publisher = "Springer",

}

RIS

TY - GEN

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

AU - Madzar,Boris

AU - Boudjadar,Jalil

AU - Dingel,Juergen

AU - Fuhrman,Thomas

AU - S,Ramesh

PY - 2017/4/13

Y1 - 2017/4/13

U2 - 10.1007/978-3-319-57666-4_10

DO - 10.1007/978-3-319-57666-4_10

M3 - Article in proceedings

SN - 978-3-319-57665-7

VL - 10231

SP - 153

EP - 171

BT - Formal Aspects of Component Software

PB - Springer

ER -