LIBRARY The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 2007 · ENGLISH · PDF View details →
LIBRARY Requirements Engineering: First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Performance Evaluation: Metrics, Models and Benchmarks: SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems. 23–27 July 1989, Halifax, Canada 1990 · ENGLISH · PDF View details →
LIBRARY The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 2007 · ENGLISH · PDF View details →
LIBRARY Developments in Risk-based Approaches to Safety: Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006 2006 · ENGLISH · PDF View details →
LIBRARY Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 2005 · ENGLISH · PDF View details →
LIBRARY Software-Metriken in der Praxis: Einführung und Anwendung von Software-Metriken in der industriellen Praxis 1996 · GERMAN · PDF View details →
LIBRARY Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994 1994 · ENGLISH · PDF View details →
LIBRARY Software-Bewertung: Ein semantischer Ansatz für Informationsmaße 1992 · GERMAN · PDF View details →
LIBRARY Prozeßrechner 1984: Prozeßdatenverarbeitung im Wandel. 4. GI/GMR/KfK-Fachtagung, Karlsruhe, 26.–28. September 1984 1984 · GERMAN · PDF View details →
LIBRARY Current Issues in Safety-Critical Systems: Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4–6 February 2003 2003 · ENGLISH · PDF View details →
LIBRARY Software automatisch testen: Verfahren, Handhabung und Leistung 2001 · GERMAN · PDF View details →