Validating Electric Vehicle to Grid Communication Systems based on Model checking assisted Test Case Generation (bibtex)
by , ,
Reference:
S. Gröning, C. Rosas, C. Wietfeld, "Validating Electric Vehicle to Grid Communication Systems based on Model checking assisted Test Case Generation", In 2017 IEEE International Symposium on Systems Engineering (ISSE), Vienna, Austria, Oktober 2017.
Bibtex Entry:
@InProceedings{Groening2017,
  author    = {Gröning, Sven and Rosas, Christopher and Wietfeld, Christian},
  title     = {Validating Electric Vehicle to Grid Communication Systems based on Model checking assisted Test Case Generation},
  booktitle = {2017 IEEE International Symposium on Systems Engineering (ISSE)},
  year      = {2017},
  month     = {oct},
  address   = {Vienna, Austria},
  project   = {Delta},
}
Powered by bibtexbrowser