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
Date27-29 September 1999
Volume1698
Pages58-66
Series TitleLecture Notes in Computer Science
ISBN9783540664888
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item