Using Formal Methods for Verification and Validation in Railway.

Klaus Reichl, Tomas Fischer, Peter Tummeltshammer

Browse the full TAP paper archive.