Formal approaches to design of active cell balancing architectures in battery management systems

Sebastian Steinhorst, Martin Lukasiewycz. Formal approaches to design of active cell balancing architectures in battery management systems. In Frank Liu, editor, Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016. pages 86, ACM, 2016. [doi]

@inproceedings{SteinhorstL16,
  title = {Formal approaches to design of active cell balancing architectures in battery management systems},
  author = {Sebastian Steinhorst and Martin Lukasiewycz},
  year = {2016},
  doi = {10.1145/2966986.2980088},
  url = {http://doi.acm.org/10.1145/2966986.2980088},
  researchr = {https://researchr.org/publication/SteinhorstL16},
  cites = {0},
  citedby = {0},
  pages = {86},
  booktitle = {Proceedings of the 35th International Conference on Computer-Aided Design, ICCAD 2016, Austin, TX, USA, November 7-10, 2016},
  editor = {Frank Liu},
  publisher = {ACM},
  isbn = {978-1-4503-4466-1},
}