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