book chapter · 2011

Executable Specifications for Heterogeneous Embedded Systems

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Leduc, Y., & Messina, N. (2011). Executable Specifications for Heterogeneous Embedded Systems. https://doi.org/10.1007/978-94-007-1125-9_3

MLA 9

Leduc, Yves, and Nathalie Messina. “Executable Specifications for Heterogeneous Embedded Systems.” 2011, pp. 41–61, https://doi.org/10.1007/978-94-007-1125-9_3.

Chicago

Leduc, Yves, and Nathalie Messina. 2011. “Executable Specifications for Heterogeneous Embedded Systems.” https://doi.org/10.1007/978-94-007-1125-9_3.

Harvard

Leduc, Y. and Messina, N. (2011) ‘Executable Specifications for Heterogeneous Embedded Systems’. Available at: https://doi.org/10.1007/978-94-007-1125-9_3.

BibTeX

@incollection{leduc2011executable,
  title = {{Executable Specifications for Heterogeneous Embedded Systems}},
  author = {Leduc, Yves and Messina, Nathalie},
  pages = {41--61},
  year = {2011},
  doi = {10.1007/978-94-007-1125-9_3}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.