Author:
Krichen Moez,Lahami Mariam
Publisher
Springer International Publishing
Reference20 articles.
1. Alhazbi, S., Jantan, A.: Dependencies management in dynamically updateable component-based systems. J. Comput. Sci. 3(7), 499–505 (2007)
2. Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures. LNCS, vol. 3185, pp. 200–237. Springer, Berlin (2004)
3. Blom, J., Hessel, A., Jonsson, B., Pettersson, P.: Specifying and generating test cases using observer automata. In: Proceeding of the 5th International Workshop on Formal Approaches to Software Testing (FATES’05), pp. 125–139 (2005)
4. Chen, I.-Y., Tsai, C.-H.: Pervasive digital monitoring and transmission of pre-care patient biostatics with an OSGi, MOM and SOA based remote health care system. In: Proceeding of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom’06), pp. 704–709 (2008)
5. Ghédira, K., Dubuisson, B.: Foundations of CSP. In: Constraint satisfaction problems, pp. 1–28. Wiley, New York (2013)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献