Specifying the mode logic of a flight guidance system in CoRE and SCR
Steven P. Miller · 1998
Article Specifying the mode logic of a flight guidance system in CoRE and SCR Share on Author: Steven P. Miller Rockwell Collins, Inc., Cedar Rapids, IA Rockwell Collins, Inc., Cedar Rapids, IAView Profile Authors Info & Claims FMSP '98: Proceedings of the second workshop on Formal methods in software practiceMarch 1998 Pages 44–53https://doi.org/10.1145/298595.298856Published:04 March 1998 74citation562DownloadsMetricsTotal Citations74Total Downloads562Last 12 Months5Last 6 weeks1 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