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.
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
{"_id":"gb7DRTH8P2F3EjgZ5","bibbaseid":"graiet-abbassi-hamel-bhiri-kmimech-gaaloul-eventbbasedapproachforverifyingdynamiccompositeservicetransactionalbehavior-2013","author_short":["Graiet, M.","Abbassi, I.","Hamel, L.","Bhiri, M. T.","Kmimech, M.","Gaaloul, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-24T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Graiet"],"firstnames":["Mohamed"],"suffixes":[]},{"propositions":[],"lastnames":["Abbassi"],"firstnames":["Imed"],"suffixes":[]},{"propositions":[],"lastnames":["Hamel"],"firstnames":["Lazhar"],"suffixes":[]},{"propositions":[],"lastnames":["Bhiri"],"firstnames":["Mohamed","Tahar"],"suffixes":[]},{"propositions":[],"lastnames":["Kmimech"],"firstnames":["Mourad"],"suffixes":[]},{"propositions":[],"lastnames":["Gaaloul"],"firstnames":["Walid"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/icws/GraietAHBKG13,\n added-at = {2023-03-24T00:00:00.000+0100},\n author = {Graiet, Mohamed and Abbassi, Imed and Hamel, Lazhar and Bhiri, Mohamed Tahar and Kmimech, Mourad and Gaaloul, Walid},\n biburl = {https://www.bibsonomy.org/bibtex/261127339eefc7f2e896b7fcd797b0317/dblp},\n booktitle = {ICWS},\n crossref = {conf/icws/2013},\n ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2013.42},\n interhash = {4ea3d553a42cf35df3f19d2f5cf5a36d},\n intrahash = {61127339eefc7f2e896b7fcd797b0317},\n isbn = {978-0-7695-5025-1},\n keywords = {dblp},\n pages = {251-259},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T20:32:08.000+0200},\n title = {Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.},\n url = {http://dblp.uni-trier.de/db/conf/icws/icws2013.html#GraietAHBKG13},\n year = 2013\n}\n\n","author_short":["Graiet, M.","Abbassi, I.","Hamel, L.","Bhiri, M. T.","Kmimech, M.","Gaaloul, W."],"key":"conf/icws/GraietAHBKG13","id":"conf/icws/GraietAHBKG13","bibbaseid":"graiet-abbassi-hamel-bhiri-kmimech-gaaloul-eventbbasedapproachforverifyingdynamiccompositeservicetransactionalbehavior-2013","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/ICWS.2013.42","Paper":"http://dblp.uni-trier.de/db/conf/icws/icws2013.html#GraietAHBKG13"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Hamel?items=1000","dataSources":["8T57PzJcnd8btZq9P"],"keywords":["dblp"],"search_terms":["event","based","approach","verifying","dynamic","composite","service","transactional","behavior","graiet","abbassi","hamel","bhiri","kmimech","gaaloul"],"title":"Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.","year":2013}