Publisher
Springer International Publishing
Reference81 articles.
1. Wil M. P. Van Der Aalst. Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, 2011.
2. Jean-Raymond Abrial, Egon Börger, and Hans Langmaack, editors. Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grew out of a Dagstuhl Seminar, June 1995), LNCS 1165. Springer, 1996.
3. Jean-Raymond Abrial. Steam-boiler control specification problem. https://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html, 1994.
4. Moussa Amrani, Levi Lúcio, and Adrien Bibal. ML + FV = $$\heartsuit $$? A survey on the application of machine learning to formal verification, 2018. http://arxiv.org/abs/1806.03600.
5. F. Badeau and A. Amelot. Using B as a high level programming language in an industrial project: Roissy VAL. In ZB 2005, LNCS 3455, pages 334–354. Springer, 2005.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Specification in Basic Education: What Does It Take?;2023 IEEE Frontiers in Education Conference (FIE);2023-10-18