Login / Signup
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.
Yuqi Chen
Christopher M. Poskitt
Jun Sun
Published in:
CoRR (2016)
Keyphrases
</>
knowledge discovery
power consumption
data center
human beings