Automatic verification of railway interlocking systems
Jakob Petersen · 1998
Article Automatic verification of railway interlocking systems: a case study Share on Author: Jakob Lyng Petersen ScanRail, part of the National Danish Railway Agency and Department of Information Technology, Technical University of Denmark ScanRail, part of the National Danish Railway Agency and Department of Information Technology, Technical University of DenmarkView Profile Authors Info & Claims FMSP '98: Proceedings of the second workshop on Formal methods in software practiceMarch 1998 Pages 1–6https://doi.org/10.1145/298595.298597Online:04 March 1998Publication History 3citation457DownloadsMetricsTotal Citations3Total Downloads457Last 12 Months12Last 6 weeks2 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access