Safety analysis techniques for validating formal models during verification

  1. Lookup NU author(s)
  2. Dr Rogerio De Lemos
  3. Dr Amer Saeed
Author(s)de Lemos R, Saeed A
Editor(s)Felici, M., Kanoun, K., Pasquini, A.
Publication type Conference Proceedings (inc. Abstract)
Conference Name18th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
Conference LocationToulouse, France
Year of Conference1999
Source Publication Date27-29 September 1999
Series TitleLecture Notes in Computer Science
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item