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.
3 Publications
2010 | Conference Paper | LibreCat-ID: 37009
Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2002 | Conference Paper | LibreCat-ID: 39382
The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
LibreCat
| DOI
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
1999 | Conference Paper | LibreCat-ID: 39488
Innovative Concepts for Configurating Shared Workspaces through Visual Programming
M. Dücker, W. Müller, J. Rubart, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999.
LibreCat
| DOI
M. Dücker, W. Müller, J. Rubart, in: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999.