Author:
Bloomfield R.,Craigen D.,Koob F.,Ullmann M.,Wittmann S.
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. S. Gerhart, D. Craigen, T. Ralston, Experience with Formal Methods in Critical Systems. IEEE Software, January 1994. Reprinted in High-Integrity System Specification and Design, J.P. Bowen and M.G. Hinchey (eds.), Formal Approaches to Computing and Information Technology Series (FACIT), Springer-Verlag, April 1999.
2. Science Policy Research Unit, London HMSO, Evaluation of the Alvey Programme for Advanced Information Technology, 1991.
3. R. W. Butler et al., NASA Langley’s Research and Technology-Transfer Program in Formal Methods, available from
http://shemesh.larc.nasa.gov/fm.html
.
4. P. Behm, P. Benoit, A. Faivre, J.-M. Meynadier, Meteor: A Successful Application of B in a Large Project, in [31].
5. L.-H. Erikson Specifying railway interlocking requirements for practical use in 15th International Conference on Computer Safety, Reliability and Security (Safecomp 96), Springer, 1996.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献