%0 Conference Paper %1 conf/compsac/YounesHA14 %A Younes, Ahlem Ben %A Hlaoui, Yousra Bendaly %A Ayed, Leila Jemni Ben %B COMPSAC Workshops %D 2014 %I IEEE Computer Society %K dblp %P 740-745 %T A Meta-model Transformation from UML Activity Diagrams to Event-B Models. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2014w.html#YounesHA14 %@ 978-1-4799-3578-9

@inproceedings{conf/compsac/YounesHA14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Younes, Ahlem Ben and Hlaoui, Yousra Bendaly and Ayed, Leila Jemni Ben}, biburl = {https://www.bibsonomy.org/bibtex/2843ac5a85fa1718aa475cc951b48cf5c/dblp}, booktitle = {COMPSAC Workshops}, crossref = {conf/compsac/2014w}, ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSACW.2014.119}, interhash = {392dde576ef2a3294df48beb95086c0d}, intrahash = {843ac5a85fa1718aa475cc951b48cf5c}, isbn = {978-1-4799-3578-9}, keywords = {dblp}, pages = {740-745}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:56:09.000+0200}, title = {A Meta-model Transformation from UML Activity Diagrams to Event-B Models.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2014w.html#YounesHA14}, year = 2014 }