Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. A. Avižienis and J.-C. Laprie. Dependable Computing: From Concepts to Design Diversity. Proc. IEEE, Vol. 74, No.5, 1986, pages 629–638.
2. K. Brink and R. Huijsman and J. van Katwijk. SEAL: A Simple Language for Prototyping Action-Event Specifications. Microprocessing and Microprogramming, Vol. 38, 1993, pages 87–95.
3. LNCS 873;J. Cuéllar,1994
4. B. Dasarathy. Timing constraints of real-time systems. IEEE Trans. SE-11, pages 80–86, 1985.
5. A. Dix and R. Stone and H.S.M. Zedan. Design Issues for Reliable Time-Critical Systems. In: Zedan H.S.M.: Real-Time Systems, Theory and Applications. North-Holland, Amsterdam 1990, pages 305–322.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Patterns for Embedded Systems Design;Computer Aided Systems Theory - EUROCAST’99;2000