- Title:
Verification of Balancing Architectures for Modular Batteries
- Author(s):
- Lukasiewycz, Martin; Steinhorst, Sebastian; Narayanaswamy, Swaminathan
- Book / Congress title:
- Proceedings of the 12th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2014)
- Year:
- 2014
- Pages:
- 30:1--30:10
- Fulltext / DOI:
- doi:10.1145/2656075.2656104
- BibTeX