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
M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39488
M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.
LibreCat
| DOI