Formal Methods for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Software Engineering for Resilient Systems

Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Advanced Topics in Exception Handling Techniques

Produktform: Buch / Einband - flex.(Paperback)

Autonomic and Trusted Computing

Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006

Produktform: Buch / Einband - flex.(Paperback)

Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Dependability Metrics

GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures

Produktform: Buch / Einband - flex.(Paperback)

---

Software Engineering Approaches for Offshore and Outsourced Development

First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers

Produktform: Buch / Einband - flex.(Paperback)

Rule-Based Modeling and Computing on the Semantic Web

5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Top Productivity through Software Reuse

12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings

Produktform: Buch / Einband - flex.(Paperback)