BibTeX record conf/fmcad/MengDVMDPPAHMZO23

• > Home > conf/fmcad/MengDVMDPPAHMZO23

@inproceedings{DBLP:conf/fmcad/MengDVMDPPAHMZO23,
  author       = {Baoluo Meng and
                  Joyanta Debnath and
                  Sarat Chandra Varanasi and
                  Emmanuel Manoloios and
                  Michael Durling and
                  Saswata Paul and
                  Daniel Prince and
                  Saif Alsabbagh and
                  Richard Haadsma and
                  Craig McMillan and
                  Chi Zhang and
                  Tim Oates},
  editor       = {Alexander Nadel and
                  Kristin Yvonne Rozier},
  title        = {Towards a Correct-by-Construction Design of Integrated Modular Avionics},
  booktitle    = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA,
                  October 24-27, 2023},
  pages        = {221--227},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_30},
  doi          = {10.34727/2023/ISBN.978-3-85448-060-0\_30},
  timestamp    = {Wed, 13 Dec 2023 14:38:51 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/MengDVMDPPAHMZO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}