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
Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: Proceedings of the ISSS02. ; 2002. doi:10.1145/581199.581234
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39488
Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. ; 1999. doi:10.1109/HICSS.1999.773046
LibreCat
| DOI