Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
authFullName_s : Franz J. Rammig
Page :
sorted by

Embedded Systems: Design, Analysis and Verification

 Gunar Schirner , Marcelo Götz , Achim Rettberg , Mauro C. Zanella , Franz J. Rammig
Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩
Books hal-01466697v1
Image document

Distributed, Parallel and Biologically Inspired Systems

 Mike Hinchey , Bernd Kleinjohann , Lisa Kleinjohann , Peter Lindsay , Franz J. Rammig , et al.
Springer, AICT-329, 2010, IFIP Advances in Information and Communication Technology, 978-3-642-15233-7
Books hal-01556922v1
Image document

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

 Sufyan Samara , Yuhong Zhao , Franz J. Rammig
7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15234-4_11⟩
Conference papers hal-01054482v1
Page :