Author:
Sözer Hasan,Hofmann Christian,Tekinerdoğan Bedir,Akşit Mehmet
Reference12 articles.
1. van Ommering, R.C., et al.: The Koala component model for consumer electronics software. IEEE Comput. 33(3), 78–85 (2000)
2. Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2(3), 241–266 (1982)
3. Sozer, H., Tekinerdogan, B., Aksit, M.: FLORA: a framework for decomposing software architecture to introduce local recovery. Softw. Pract. Exper. 39(10), 869–889 (2009)
4. Huang, Y., Kintala, C.: Software fault tolerance in the application layer. In: Lyu, M.R. (ed.) Software Fault Tolerance, pp.231–248. John Wiley & Sons, Chichester (1995)
5. Peters, D.K., Parnas, D.L.: Requirements-based monitors for real-time systems. IEEE Trans. Softw. Eng. 28(2), 146–158 (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献