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.
264 Publications
1994 | Conference Paper | LibreCat-ID: 39565
D. Hyhuis and W. Müller, “Implementing Simultaneous Design: A Case Study,” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
W. Müller, G. Lehrenfeld, and N. Wiechers, “Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM.” Aachen, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
E. Börger, U. Glässer, and W. Müller, “The Semantics of Behavioral VHDL’93 Descriptions,” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
G. Lehrenfeld, W. Müller, and N. Wiechers, “Ein paralleles Framework fuer die Validierung von STEP-Produktdaten.” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
G. Lehrenfeld, W. Müller, and N. Wiechers, “Parallel Validation of STEP Files,” 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
G. Lehrenfeld and W. Müller, “Computational Model of a Logical Visual Programming Language.” Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
W. Felser and W. Müller, “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring,” in Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–154.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
W. Müller and B. Kleinjohann, “Tight Integration and Synchronization of Distributed Graphical Applications,” 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
W. Müller, “Approaching the Denotational Semantics of Behavioral VHDL Descriptions,” 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
W. Müller, G. Lehrenfeld, and N. Wiechers, “Parallel Validation of STEP Files,” 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
W. Müller and B. Kleinjohann, “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments,” 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
W. Müller, “Contract-Oriented System Design and Specification,” 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
G. Lehrenfeld and W. Müller, “Validation of EXPRESS Models Using Prolog,” 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
F. J. Rammig and W. Müller, “ODICE: Object-Oriented Hardware Description in CAD Environment,” 1989.
LibreCat