Author:
Zhang Hai-Tao,Wu Gui-Fang
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering
Reference15 articles.
1. S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli. Design of embedded systems: Formal models, validation, and synthesis. Proceedings of the IEEE, vol. 85, no. 3, pp. 366–390, 1997.
2. H. Zhang. The Research of Real-time Scheduling for Distributed Embedded Systems, Ph. D. dissertation, Institute of Automation, Chinese Academy of Sciences, PRC, 2006.
3. L. A. Cortés, P. Eles, Z. Peng. Modeling and formal verification of embedded systems based on a Petri net representation. Journal of Systems Architecture, vol. 49, no. 12–15, pp. 571–598, 2003.
4. Project MAC, Technology Report;C. Ramchandani,1974
5. P. Merlin, D. J. Faber. Recoverability of communication protocols — Implications of a theoretical study. IEEE Transactions on Communications, vol. 24, no. 9, pp. 1036–1043, 1976.