Author:
Joshi Sanjay,Smith Jeffrey S.,Wysk Richard A.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Biemans, F., and Blonk, P., “On the Formal Specification and Verification of CIM Architectures Using LOTOS,” Computers in Industry 7, pp. 491–504, 1986.
2. Brooks, C. A., “A Method for Specifying, Implementing, and Verifying Media Access Protocols,” IEEE Control Systems Magazine, Vol. 10, No. 4, pp. 87–94, June 1990.
3. Bruno, G and Marchetto, “Process Translatable Petri Nets for the Rapid Prototyping of Control Systems,” IEEE Transactions on Software Engineering, Vol. SE-12, No. 2, pp. 346–357, 1987.
4. Chaar, J. K., A Methodology for Developing Real-Time Control Software for Efficient and Dependable Manufacturing Systems, Ph.D. Thesis, University of Michigan, 1990.
5. Graham, J.H., and Saridis, G.N., “Linguistic Decision Structures for Hierarchical Systems,” IEEE Transactions on Systems, Man and Cybernetics, SMC-12, pp. 325–333, 1982.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献