Toggle Main Menu Toggle Search


Safety analysis techniques for validating formal models during verification

Lookup NU author(s): Dr Rogerio De Lemos, Dr Amer Saeed


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): de Lemos R, Saeed A

Editor(s): Felici, M., Kanoun, K., Pasquini, A.

Publication type: Conference Proceedings (inc. Abstract)

Conference Name: 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP)

Year of Conference: 1999

Pages: 58-66



Publisher: Springer

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540664888


    Link to this publication