Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. Graiet, M., Abbassi, I., Hamel, L., Bhiri, M. T., Kmimech, M., & Gaaloul, W. In ICWS, pages 251-259, 2013. IEEE Computer Society.
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. [link]Link  Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. [link]Paper  bibtex   
@inproceedings{conf/icws/GraietAHBKG13,
  added-at = {2023-03-24T00:00:00.000+0100},
  author = {Graiet, Mohamed and Abbassi, Imed and Hamel, Lazhar and Bhiri, Mohamed Tahar and Kmimech, Mourad and Gaaloul, Walid},
  biburl = {https://www.bibsonomy.org/bibtex/261127339eefc7f2e896b7fcd797b0317/dblp},
  booktitle = {ICWS},
  crossref = {conf/icws/2013},
  ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2013.42},
  interhash = {4ea3d553a42cf35df3f19d2f5cf5a36d},
  intrahash = {61127339eefc7f2e896b7fcd797b0317},
  isbn = {978-0-7695-5025-1},
  keywords = {dblp},
  pages = {251-259},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T20:32:08.000+0200},
  title = {Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.},
  url = {http://dblp.uni-trier.de/db/conf/icws/icws2013.html#GraietAHBKG13},
  year = 2013
}

Downloads: 0