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


1992 | Conference Paper | LibreCat-ID: 39582
Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” Proceedings of the 2nd EXPRESS User’s Group Conference, 1992.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, 1991.
LibreCat
 

1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
LibreCat
 

1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, 1989.
LibreCat
 

Filters and Search Terms

(person=16243)

status=public

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed