Cover image not available

Requirements specification and verification for safety- critical systems : a train set example

R. De Lemos

Publication Data

Title Requirements specification and verification for safety- critical systems : a train set example
Author R. De Lemos
Contributors A. Saeed, T. Anderson, T. Anderson
Publisher University of Newcastle upon Tyne, Computing Laboratory
Publication date 1991
Publication location Newcastle upon Tyne
Language English

Descriptive Notes

Cover title.

Topics

Computer software :: Verification
Computer software :: Reliability

Catalogue Data

OBNB ID GB9202672
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 17p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Requirements specification and verification for safety- critical systems : a train set example by R. De Lemos. Published by University of Newcastle upon Tyne, Computing Laboratory in 1991. Publication and catalogue information, links to buy online and reader comments.