Toggle Main Menu Toggle Search

ePrints

Safety analysis techniques for validating formal models during verification

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

Downloads

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


Actions

    Link to this publication


Share