Moez Krichen. Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems. In Joaquim Filipe, Michal Smialek, Alexander Brodsky 0001, Slimane Hammoudi, editors, Enterprise Information Systems - 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers. Volume 378 of Lecture Notes in Business Information Processing, pages 457-472, Springer, 2019. [doi]
@inproceedings{Krichen19-0, title = {Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems}, author = {Moez Krichen}, year = {2019}, doi = {10.1007/978-3-030-40783-4_22}, url = {https://doi.org/10.1007/978-3-030-40783-4_22}, researchr = {https://researchr.org/publication/Krichen19-0}, cites = {0}, citedby = {0}, pages = {457-472}, booktitle = {Enterprise Information Systems - 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3-5, 2019, Revised Selected Papers}, editor = {Joaquim Filipe and Michal Smialek and Alexander Brodsky 0001 and Slimane Hammoudi}, volume = {378}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-030-40783-4}, }