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.
2 Publications
2012 | Conference Paper | LibreCat-ID: 22737
Becker, Matthias, Markus Luckey, and Steffen Becker. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” In {Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, 117–22. New York, NY, USA: ACM, 2012. https://doi.org/10.1145/2304696.2304716.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.
LibreCat
| DOI