Author:
Zhang Ji,Zhou Zhinan,Cheng Betty H. C.,McKinley Philip K.
Publisher
Springer Science and Business Media LLC
Reference41 articles.
1. RAPIDware. http://www.cse.msu.edu/rapidware/, Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan
2. Allen R, Douence R, Garlan D (1998) Specifying and analyzing dynamic software architectures. In: Proceedings of the 1998 conference on fundamental approaches to software engineering (FASE’98), Lisbon
3. Alur R, Henzinger TA (1994) A really temporal logic. J ACM 41(1):181–203
4. Appavoo J, Hui K, Soules CAN, Wisniewski RW, Silva DMD, Krieger O, Auslander MA, Edelsohn DJ, Gamsa B, Ganger GR, McKenney P, Ostrowski M, Rosenburg B, Stumm M, Xenidis J (2003) Enabling autonomic behavior in systems software with hot swapping. IBM Syst J Special Issue on Autonomic Comput 42(1)
5. Bellini P, Mattolini R, Nesi P (2000) Temporal logics for real-time system specification. ACM Comput Surv 32(1):12–42
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献