The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example

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

Author(s): Saeed A, de Lemos R, Anderson T

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Fault-Tolerant Computing: the 21st International Symposium (FTCS)

Year of Conference: 1991

Pages: 478-485

Publisher: IEEE Computer Society Press

URL: http://dx.doi.org/10.1109/FTCS.1991.146704

DOI: 10.1109/FTCS.1991.146704

Library holdings: Search Newcastle University Library for this item

ISBN: 0818621508

ePrints