Published in
2017 IEEE International Systems Engineering Symposium (ISSE)
DOI: 10.1109/syseng.2017.8088307
Links
Tools
Validating electric vehicle to grid communication systems based on model checking assisted test case generation
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 