Startseite > Publikationen > Publikationen

Publikationen

Samara, Sufyan;Zhao, Yuhong;Rammig, Franz-Josef:

Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services.

In: Distributed, Parallel and Biologically Inspired Systems, IFIP Advances in Information and Communication Technology, Band 329 , S. 102-113. Springer Boston, Sep. 2010, 10.1007/978-3-642-15234-4_11

Weblink

http://dx.doi.org/10.1007/978-3-642-15234-4_11

Bibtex

@incollection{key=Samara2010a,
author = {Samara, Sufyan and Zhao, Yuhong and Rammig, Franz-Josef},
title = {Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services},
booktitle = {Distributed, Parallel and Biologically Inspired Systems},
volume = {329},
series = {IFIP Advances in Information and Communication Technology},
pages = {102-113},
publisher = {Springer Boston},
month = sep,
year = {2010},
note = {10.1007/978-3-642-15234-4_11},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/4936