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
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626601.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In Proceedings of Symposium on Visual Languages. Darmstadt, Germany , 1995. https://doi.org/10.1109/VL.1995.520803.
LibreCat
| DOI