Author:
Méry Dominique,Singh Neeraj Kumar
Publisher
Springer International Publishing
Reference12 articles.
1. Miller, S.P.: Specifying the mode logic of a flight guidance system in CoRE and SCR. In: Proceedings of the Second Workshop on Formal Methods in Software Practice, FMSP 1998, pp. 44–53. ACM, New York (1998)
2. Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control. LNCS, vol. 1165. Springer, Heidelberg (1996)
3. Singh, N.K.: Using Event-B for Critical Device Software Systems. Springer, Heidelberg (2013)
4. Méry, D., Singh, N.K.: Formal specification of medical systems by proof-based refinement. ACM Trans. Embed. Comput. Syst. 12(1), 15:1–15:25 (2013)
5. Butler, R.W.: An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot. NASA Technical Memorandum 110255, NASA Langley Research Center, Hampton, VA (May 1996)