Author:
Jarvis Jacqueline,Jarvis Dennis
Reference23 articles.
1. Asfahl, R.C. and Balagamwala, A. (1990), Simlog: a Prolog Based Simulator for Industrial Logic Control Systems. Computers and Industrial Engineering,19 pp. 195–199.
2. Birrell, N.D. and Ould, M.A. (1994), A Practical Handbook for Software Development, Cambridge University Press.
3. Brandin, B. and Charbonnier, F. (1994), The Supervisory Control of the Automated Manufacturing System of the AIP, In Proc. of the 4th. International Conference on Computer Integrated Manufacturing and Automation Technology, Troy New York, pp. 319–324.
4. Boullart, L. (1992), Using AI Formalisms in Programmable Logic Controllers. In Boullart, L., Krijgsman, A. and Vingerhoeds, R.A. (Eds.) Application of Artificial Intelligence in Process Control, Pergamon Press, pp. 96–113.
5. Clarke, E.M., Emerson, E.A. and Sistla, A.P. (1986), Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8, pp. 244–263.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献