Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference61 articles.
1. Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: FM 2006: Formal Methods, pp. 1–15. Springer, Berlin (2006)
2. Lee, E.A., Seshia, S.A.: Introduction to embedded systems, a cyber-physical systems approach (2011). http://LeeSeshia.org
3. Lala, J.H., Harper, R.E.: Architectural principles for safety-critical real-time applications. Proc. IEEE 82(1), 25–40 (1994)
4. Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, Berlin (2011)
5. Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co. Inc., Redwood City (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献