Validating Electric Vehicle to Grid Communication Systems based on Model checking assisted Test Case Generation
in
- Univ.-Prof. Dr.-Ing. Christian Wietfeld
- Publications
- DELtA
In 2017 IEEE International Symposium on Systems Engineering (ISSE), Vienna, Austria, October 2017.