You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services
|
---|---|
Chapter number | 11 |
Book title |
Distributed, Parallel and Biologically Inspired Systems
|
Published by |
Springer, Berlin, Heidelberg, January 2010
|
DOI | 10.1007/978-3-642-15234-4_11 |
Book ISBNs |
978-3-64-215233-7, 978-3-64-215234-4
|
Authors |
Sufyan Samara, Yuhong Zhao, Franz J. Rammig, Samara, Sufyan, Zhao, Yuhong, Rammig, Franz J. |