University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Railway Signalling as a case study in Safety through Determinism

A. C. Simpson

Details

Book Title

Proceedings of Aspect '95

Publisher

IRSE

Year

1995

Links

BibTeX

Related pages

People