Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1263 Publications
2010 | Conference Paper | LibreCat-ID: 37039
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37047
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
LibreCat
| DOI
W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann (Eds.), Springer Verlag, Dordrecht, 2010.
2010 | Book | LibreCat-ID: 58987
Das Gleichnis vom verlorenen Sohn (15,1-3. 15-32). Interpretationen - Unterrichtsmodell
V. Garske, Das Gleichnis Vom Verlorenen Sohn (15,1-3. 15-32). Interpretationen - Unterrichtsmodell, Schöningh, Paderborn, 2010.
LibreCat
V. Garske, Das Gleichnis Vom Verlorenen Sohn (15,1-3. 15-32). Interpretationen - Unterrichtsmodell, Schöningh, Paderborn, 2010.