Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. J. Davies. Specification and Proof in Real-Time CSP. D.Phil thesis, Computing Laboratory, Oxford University, published by Cambridge University Press, 1993.
2. J. Davies. Setting real-time CSP. Internal note, Computing Laboratory, Oxford University, 1994.
3. A.S. Evans, D.R.W. Holton, L. Lai and P. Watson. A comparison of formal real-time specification languages. In Proceedings of the Northern Formal Methods Work-shop, Ilkley, UK, 1996.
4. C.L. Heitmeyer and N. Lynch. The generalized railroad crossing: a case study in formal verification of real-time systems. NRL Memorandum Report NRL/MR/5540-94-7619, Navy Research Laboratory, Washington DC, USA, 1994.
5. C.L. Heitmeyer and D. Mandrioli (eds.). Formal Methods for Real-Time Computing. John Wiley & Sons, 1996.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献