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.
4 Publications
2014 | Conference Paper | LibreCat-ID: 36918
Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
LibreCat
| DOI
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
1997 | Conference Paper | LibreCat-ID: 39505
Visual-Textual Prototyping of 4D Scenes
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
LibreCat
| DOI
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.
1995 | Conference Paper | LibreCat-ID: 39541
Transforming SDL Diagrams Into a Complete Visual Representation
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages, Darmstadt, Germany , 1995.
LibreCat
| DOI
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages, Darmstadt, Germany , 1995.