Author:
Bruno G.,Agarwal R.,Castella A.,Pescarmona M. P.
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, Englewood Cliffs, N.J., 1985.
2. D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987.
3. Derek Coleman and David Skov. Analysis and design for concurrent object system. In Proceedings of the 6th International Conference on Software Engineering and its Applications, pages 471–483, November 15–19 1993.
4. Hassan Gomaa. Structuring criteria for real time system design. In Proceedings of the 11th International Conference on Software Engineering, pages 290–301, May 15–18 1989.
5. D. Harel et al. Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng., 16:403–14, April 1990.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conclusions and Future Work;SpringerBriefs in Electrical and Computer Engineering;2016
2. Application Example;SpringerBriefs in Electrical and Computer Engineering;2016
3. Development of Distributed Embedded Controllers;SpringerBriefs in Electrical and Computer Engineering;2016
4. Related Work;SpringerBriefs in Electrical and Computer Engineering;2016
5. Introduction;SpringerBriefs in Electrical and Computer Engineering;2016