1
Reliable Systems on Unreliable Networked Platforms [E-Book] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
2
Formal Techniques for Computer Systems and Business Processes [E-Book] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September
3
Quality of Software Architectures and Software Quality [E-Book] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German
4
Dependable Computing [E-Book] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings