BibTeX record conf/icnsc/AielloGLD17

• > Home > conf/icnsc/AielloGLD17

@inproceedings{DBLP:conf/icnsc/AielloGLD17,
  author       = {Francesco Aiello and
                  Alfredo Garro and
                  Yves Lemmens and
                  Stefan Dutr{\'{e}}},
  editor       = {Giancarlo Fortino and
                  MengChu Zhou and
                  Zofia Lukszo and
                  Athanasios V. Vasilakos and
                  Francesco Basile and
                  Carlos Enrique Palau and
                  Antonio Liotta and
                  Maria Pia Fanti and
                  Antonio Guerrieri and
                  Andrea Vinci},
  title        = {Simulation-based verification of system requirements: An integrated
                  solution},
  booktitle    = {14th {IEEE} International Conference on Networking, Sensing and Control,
                  {ICNSC} 2017, Calabria, Italy, May 16-18, 2017},
  pages        = {726--731},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICNSC.2017.8000180},
  doi          = {10.1109/ICNSC.2017.8000180},
  timestamp    = {Fri, 17 Jan 2020 16:21:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icnsc/AielloGLD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}