BibTeX record conf/iceccs/SunBKHWSJDBB17

• > Home > conf/iceccs/SunBKHWSJDBB17

@inproceedings{DBLP:conf/iceccs/SunBKHWSJDBB17,
  author       = {Youcheng Sun and
                  Martin Brain and
                  Daniel Kroening and
                  Andrew Hawthorn and
                  Thomas Wilson and
                  Florian Schanda and
                  Francisco Javier Guzman Jimenez and
                  Simon Daniel and
                  Chris Bryan and
                  Ian Broster},
  title        = {Functional Requirements-Based Automated Testing for Avionics},
  booktitle    = {22nd International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2017, Fukuoka, Japan, November 5-8, 2017},
  pages        = {170--173},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICECCS.2017.18},
  doi          = {10.1109/ICECCS.2017.18},
  timestamp    = {Mon, 26 Jun 2023 20:46:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/SunBKHWSJDBB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}