The deconstruction of safety arguments through adversarial counter-argument

  1. Lookup NU author(s)
  2. Dr James Armstrong
  3. Dr Stephen Paynter
Author(s)Armstrong JM, Paynter SE
Editor(s)Heisel, M., Liggesmeyer, P., Wittmann, S.
Publication type Conference Proceedings (inc. Abstract)
Conference NameComputer Safety, Reliability, and Security: 23rd International Conference (SAFECOMP)
Conference LocationPotsdam, Germany
Year of Conference2004
Date21-24 September 2004
Volume3219
Pages3-16
Series TitleLecture Notes in Computer Science
03029743
ISBN9783540231769
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-540-30138-7_2
DOI10.1007/978-3-540-30138-7_2
Actions    Link to this publication
Share
Library holdingsSearch Newcastle University Library for this item