Author:
Simpson Andrew,Jacobs Jaco
Publisher
Springer International Publishing
Reference25 articles.
1. LNCS;KM Hansen,1994
2. LNCS;MJ Morley,1994
3. Haxthausen, A.E., Peleska, J.: Formal development and verification of a distributed railway control system. IEEE Trans. Softw. Eng. 26(8), 687–701 (2000)
4. Kanso, K., Moller, F., Setzer, A.: Automated verification of signalling principles in railway interlocking systems. Electron. Notes Theoret. Comput. Sci. 250(2), 19–31 (2009)
5. James, P., Roggenbach, M.: Automatically verifying railway interlockings using SAT-based model checking. In: Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010), Electronic Communication of the European Association of Software, Science and Technology, vol. 35 (2010)