Login / Signup
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.
Yuqi Chen
Christopher M. Poskitt
Jun Sun
Published in:
FM (2016)
Keyphrases
</>
artificial intelligence
e government
social network analysis