next up previous
Next: Synopsis

RaCoSy:
Railway Computing Systems


What is a Railway System: Domain and Requirements?

This document is a pre-release INCOMPLETE DRAFT.



 

Dines Bjorner
2/16/1998