Automated Generation of Safety Requirements from Railway Interlocking Tables.

Anne E. Haxthausen

Browse the full ISoLA paper archive.