Author:
Hilia Mohamed,Chibani Abdelghani,Djouani Karim,Amirat Yacine
Publisher
Springer International Publishing
Reference9 articles.
1. Benghazi, K., Hurtado, M.V., Hornos, M.J., Rodrguez, M.L., Rodrguez-Domnguez, C., Pelegrina, A.B., Rodrguez-Frtiz, M.J.: Enabling correct design and formal analysis of ambient assisted living systems. J. Syst. Softw. 85(3), 498–510 (2012)
2. Bozzato, L., Ferrari, M.: A note on semantic web services specification and composition in constructive description logics. CoRR, abs/1007.2364 (2010)
3. Di Pietro, I., Pagliarecci, F., Spalazzi, L.: Model checking semantically annotated services. IEEE Trans. Softw. Eng. 38(3), 592–608 (2012)
4. Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: basic constructive description logic. J. Autom. Reasoning 44(4), 371–399 (2010)
5. Lecture Notes in Computer Science;M Hilila,2012