BibTeX record conf/icecsys/MachneWVAACLPKS14

download as .bib file

  author    = {Torsten Maehne and
               Zhi Wang and
               Benoit Vernay and
               Liliana Andrade and
               C{\'{e}}dric Ben Aoun and
               Jean{-}Paul Chaput and
               Marie{-}Minerve Lou{\"{e}}rat and
               Fran{\c{c}}ois P{\^{e}}cheux and
               Arnaud Krust and
               Gerold Schropfer and
               Martin Barnasconi and
               Karsten Einwich and
               Fabio Cenni and
               Olivier Guillaume},
  title     = {UVM-SystemC-AMS based framework for the correct by construction design
               of {MEMS} in their real heterogeneous application context},
  booktitle = {21st {IEEE} International Conference on Electronics, Circuits and
               Systems, {ICECS} 2014, Marseille, France, December 7-10, 2014},
  pages     = {862--865},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {},
  doi       = {10.1109/ICECS.2014.7050122},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics