BibTeX record conf/hldvt/El-MahiNPB12

• > Home > conf/hldvt/El-MahiNPB12

@inproceedings{DBLP:conf/hldvt/El-MahiNPB12,
  author       = {Olfat El{-}Mahi and
                  Gabriela Nicolescu and
                  Gilles Pesant and
                  Giovanni Beltrame},
  title        = {Embedded system verification through constraint-based scheduling},
  booktitle    = {2012 {IEEE} International High Level Design Validation and Test Workshop,
                  {HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
  pages        = {92--95},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/HLDVT.2012.6418248},
  doi          = {10.1109/HLDVT.2012.6418248},
  timestamp    = {Thu, 23 Mar 2023 23:58:58 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/El-MahiNPB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}