Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Layth Sliman, Mourad Kmimech. Towards a formal approach for the verification of SCA/BPEL software architectures. In 8th International Conference on Information, Intelligence, Systems & Applications, IISA 2017, Larnaca, Cyprus, August 27-30, 2017. pages 1-6, IEEE, 2017. [doi]
Abstract is missing.