BibTeX record conf/sac/DuhilBLVN20

• > Home > conf/sac/DuhilBLVN20

@inproceedings{DBLP:conf/sac/DuhilBLVN20,
  author       = {Christophe Duhil and
                  Jean{-}Philippe Babau and
                  Eric L{\'{e}}picier and
                  Jean{-}Luc Voirin and
                  Juan F. Navas},
  editor       = {Chih{-}Cheng Hung and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Dongwan Shin and
                  Alessio Bechini},
  title        = {Chaining model transformations to develop a system model verification
                  tool: application to capella state machines and data flows models},
  booktitle    = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                  event, [Brno, Czech Republic], March 30 - April 3, 2020},
  pages        = {1654--1657},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341105.3374093},
  doi          = {10.1145/3341105.3374093},
  timestamp    = {Thu, 02 Apr 2020 17:08:04 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/DuhilBLVN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}