BibTeX record conf/compsac/HlaouiYAF17

• > Home > conf/compsac/HlaouiYAF17

@inproceedings{DBLP:conf/compsac/HlaouiYAF17,
  author       = {Yousra Bendaly Hlaoui and
                  Ahlem Ben Younes and
                  Leila Jemni Ben Ayed and
                  Manel Fathalli},
  editor       = {Sorel Reisman and
                  Sheikh Iqbal Ahamed and
                  Claudio Demartini and
                  Thomas M. Conte and
                  Ling Liu and
                  William R. Claycomb and
                  Motonori Nakamura and
                  Edmundo Tovar and
                  Stelvio Cimato and
                  Chung{-}Horng Lung and
                  Hiroki Takakura and
                  Ji{-}Jiang Yang and
                  Toyokazu Akiyama and
                  Zhiyong Zhang and
                  Kamrul Hasan},
  title        = {From Sequence Diagrams to Event {B:} {A} Specification and Verification
                  Approach of Flexible Workflow Applications of Cloud Services Based
                  on Meta-model Transformation},
  booktitle    = {41st {IEEE} Annual Computer Software and Applications Conference,
                  {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 2},
  pages        = {187--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/COMPSAC.2017.135},
  doi          = {10.1109/COMPSAC.2017.135},
  timestamp    = {Wed, 21 Aug 2024 07:35:25 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/HlaouiYAF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}