Home Advanced Search

Advanced Search - Page 1

Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
  • PDF
  • English
  • Year: 2009
  • Author: Nancy G. Leveson (auth.), Chris Dale, Tom Anderson (eds.)
Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009
  • PDF
  • English
  • Year: 2009
  • Author: Nancy G. Leveson (auth.), Chris Dale, Tom Anderson (eds.)
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems: 3. Internationale GI/ITG/GMA-Fachtagung / 3rd International GI/ITG/GMA Conference Bremerhaven, 9.–11. September 1987
  • PDF
  • English-German
  • Year: 1987
  • Author: Nancy G. Leveson (auth.), F. Belli, W. Görke (eds.)
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011
  • PDF
  • English
  • Year: 2011
  • Author: Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon (auth.), Chris Dale, Tom Anderson (eds.)
Engineering a safer world systems thinking applied to safety
  • PDF
  • English
  • Year: 2012
  • Author: Leveson, Nancy
Engineering a safer world : systems thinking applied to safety
  • PDF
  • English
  • Year: 2012
  • Author: Nancy Leveson
Life Cycle Management For Dependability
  • PDF
  • English
  • Year: 1997
  • Author: Felix Redmill, Chris Dale (auth.), Felix Redmill, Chris Dale (eds.)
SAFECOMP ’93: The 12th International Conference on Computer Safety, Reliability and Security
  • PDF
  • English
  • Year: 1993
  • Author: Tom Anderson (auth.), Janusz Górski (eds.)
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Greg Morrisett (auth.), Chris Hawblitzel, Dale Miller (eds.)
search